$A\subseteq\mathbb{R}$ olmak üzere
$ A \text{, tümevarımsal küme}:\Leftrightarrow \left\{\begin{array}{ll} \textbf{1)} 0\in A \\ \textbf{2)} (\forall x\in A)(x+1\in A). \end{array}\right.$
Bazı tümevarımsal küme örnekleri:
$[-1,\infty), \ (-1,\infty), \ \mathbb{R}^{\geq0}:=[0,\infty), \ \{0\}\cup [1,\infty), \text{ vs . . .}$