Definition:Inductive Set

Definition

Let $I$ be a subset of the real numbers $\R$.

Then $I$ is an inductive set if and only if:

$1 \in I$

and

$x \in I \implies \left({x + 1}\right) \in I$

Also see

• Results about inductive sets can be found here.