Description: The union of a set of ordinal numbers is an ordinal number. Theorem 9 of Suppes p. 132. Lemma 2.7 of Schloeder p. 4. (Contributed by NM, 1-Nov-2003)