Inductive set (axiom of infinity)

From Wikipedia, the free encyclopedia

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

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

[edit] See also

[edit] External link


This article incorporates material from inductive set on PlanetMath, which is licensed under the GFDL.