Ordering of Cardinality of Sets is Well-Defined

From ProofWiki
Jump to navigation Jump to search

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


Proof


Sources