„Számosság” változatai közötti eltérés

''Megjegyzés:'' A halmazok ekvivalenciája halmazok tetszés szerinti halmazában [[ekvivalenciareláció]].

 

=== Definíció ===

Legyen <math>A, B</math> két tetszőleges halmaz. Akkor mondjuk, hogy <math>|A|\leq|B|</math>, ha létezik <math>f: A \to B</math> [[injektív leképezés]], ami <math>A</math> minden eleméhez <math>B</math> más-más elemét rendeli.