Assuming the Axiom of Choice, the cardinality of a set is the least ordinal number such that there exists a bijection between and .
There exists a well-ordering on the cardinal numbers under the relation if and only if there exists an injection from to .