Trichotomy is the statement that, for any two sets $A$ and $B$, either $|A|>|B|$, or $|A|<|B|$, or $|A|=|B|$. This statement is equivalent to the Axiom of Choice , but I haven't quite figured out how to prove this yet...