Definition:Successor Ordinal

From ProofWiki
Jump to: navigation, search

Definition

A successor ordinal is the successor set of an ordinal.


Also see


Sources