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.