Equivalence of Definitions of Ordinal/Definition 3 is equivalent to Definition 4