Successor set
A set is called a successor set iff
- (i)
- (ii) ;
The set of natural numbers is the smallest successor set, as for any successor set , .
Note that is not the only successor set. For example, the set is also a successor set.
This article is a stub. Help us out by expanding it.