Relation between Two Ordinals/Corollary/Proof 3
Jump to navigation Jump to search
Corollary to Relation between Two Ordinals
Let $S$ and $T$ be ordinals.
We have that $S \ne T$
By Ordering on Ordinal is Subset Relation or Transitive Set is Proper Subset of Ordinal iff Element of Ordinal, either $S \in T$ or $T \in S$.