Description: An ordinal number is an ordinal set. Part of Definition 1.2 of Schloeder p. 1. (Contributed by NM, 8-Feb-2004)