Ordering of Cardinality of Sets is Well-Defined

Theorem
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$ there exists an injection from $A'$ into $B'$.