Category:Equivalence of Definitions of Well-Ordering