inductive set

An inductive set 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}$.