Description: The successor of an ordinal number is an ordinal number. Inference associated with onsuc and onsucb . Corollary 7N(c) of Enderton p. 193. (Contributed by NM, 12-Jun-1994)