Page "Well-order" Paragraph 1
from
Wikipedia
Every element s, except a possible greatest element, has a unique successor ( next element ), namely the least element of the subset of all elements greater than s. Every subset which has an upper bound has a least upper bound.
Page 1 of 1.
1.837 seconds.