[030]Prerequisiti:[2BX]↺↻.Supponiamo che \(A\) non sia vuoto. Si ha \(|A|≤ |B|\) se e solo se esiste una funzione surgettiva \(f:B→ A\). (L’implicazione “se” necessita dell’assioma della scelta; si veda anche [2BZ]↺↻).
