Description: An element of an ordinal class is an ordinal number. Lemma 1.3 of Schloeder p. 1. (Contributed by NM, 26-Oct-2003)