Definition:Inductive Set

From ProofWiki
Jump to: navigation, search

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.


Sources