\begin{definition}[Definition:Inductive Set/Subset of Real Numbers]
Let $I$ be a subset of the real numbers $\R$.
Then $I$ is an '''inductive set''' {{iff}}:
:$1 \in I$ 
and
:$x \in I \implies \paren {x + 1} \in I$
\end{definition}