# Talk:Relation between Two Ordinals/Corollary

What is the theorem statement of this page supposed to be? I'm not sure how the title "Relation between Unequal Ordinals" makes any sense for the statement $S \subseteq T$ or $T \subseteq S$; that was a mistake on my part. I subsequently "fixed" this by putting the (original) proof on the page Ordinals are Totally Ordered, but apparently there is some objection towards that approach. --abcxyz 15:50, 28 June 2012 (UTC)