Definition:Inductive Set/Subset of Real Numbers

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

Then $I$ is an inductive set :


 * $1 \in I$

and


 * $x \in I \implies \paren {x + 1} \in I$