A⊆R olmak üzere
A, tümevarımsal küme:⇔{1)0∈A2)(∀x∈A)(x+1∈A).
Bazı tümevarımsal küme örnekleri:
[−1,∞), (−1,∞), R≥0:=[0,∞), {0}∪[1,∞), vs . . .