# Ordering of Cardinality of Sets is Well-Defined

The relation $\le$ in the context of cardinalities of sets is well-defined in the sense that:
if $\card A = \card {A'}$ and $\card B = \card {B'}$, then there exists an injection from $A$ into $B$ if and only if there exists an injection from $A'$ into $B'$.