Category:Ordinal Membership is Trichotomy

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.