[030]Prerequisites:[2BX]↺↻.Suppose \(A\) is not empty. We have \(| A|≤ | B|\) if and only if there is a surgective function \(f:B→ A\). (The ”if” implication necessitates the axiom of choice; See also [2BZ]↺↻.)
