If we assume $\AC$, every set $X$ can be well-ordered (Well-Ordering Theorem), then there is at least one ordinal equinumerous to $X$. We define the cardinality of $X$ as the least such ordinal:
\[\lvert X \rvert = \min \{\alpha \in \Ord : X \equ \alpha\}.\]
There is another way to define the cardinality without relying on $\AC$. See Scott’s Trick (Wikipedia).
For any sets $X$ and $Y$:
- \[X \equ Y \enspace\lrimp\enspace \lvert X \rvert = \lvert Y \rvert.\]
- \[X \lequ Y \enspace\lrimp\enspace \lvert X \rvert \leq \lvert Y \rvert.\]
- \[X \lnequ Y \enspace\lrimp\enspace \lvert X \rvert < \lvert Y \rvert.\]