MathGloss

Assuming the Axiom of Choice, the cardinality of a set XX is the least ordinal number α\alpha such that there exists a bijection between XX and α\alpha.

There exists a well-ordering on the cardinal numbers under the relation AB\vert A\vert \leq \vert B\vert if and only if there exists an injection from AA to BB.