Description: There is no set between an ordinal number and its successor. Proposition 7.25 of TakeutiZaring p. 41. Lemma 1.15 of Schloeder p. 2. (Contributed by NM, 9-Jun-1994)