An inductive set is a set with the property that, for every , the successor of is also an element of .
One major example of an inductive set is the set of natural numbers .