# inductive set

An is a set $X$ with the property that, for every $x\in X$, the successor $x^{\prime}$ of $x$ is also an element of $X$.

One major example of an inductive set is the set of natural numbers $\mathbb{N}$.

Title inductive set InductiveSet 2013-03-22 11:50:01 2013-03-22 11:50:01 djao (24) djao (24) 12 djao (24) Definition msc 03E20 msc 45D05 successor set NaturalNumber