In the context of the axiom of infinity, an inductive set is a set $X$ with the property that, for every $x\; \backslash in\; X$, the successor $x\text{'}$ of $x$ is also an element of $X$.

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

See also

• Natural number
• Peano axioms

External link

• Mathworld: Inductive set

Set theory