Page "Well-order" Paragraph 12
from
Wikipedia
This is a well-ordered set of order type ω + ω.
Every element has a successor ( there is no largest element ).
Two elements lack a predecessor: 0 and 1.
Page 1 of 1.
1.785 seconds.