Category:Ordinal Membership is Trichotomy
Jump to navigation
Jump to search
This category contains pages concerning Ordinal Membership is Trichotomy:
Let $\alpha$ and $\beta$ be ordinals.
Then:
- $\paren {\alpha = \beta} \lor \paren {\alpha \in \beta} \lor \paren {\beta \in \alpha}$
where $\lor$ denotes logical or.
Pages in category "Ordinal Membership is Trichotomy"
The following 4 pages are in this category, out of 4 total.