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.