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

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, azaz <math>A</math> ekvivalens <math>B</math> egy részhalmazával.

Ha <math>A</math>létezik ekvivalensilyen injektív leképezés, de <math>BA</math> egy részhalmazával, de <math>B</math>-vel magával már nem ekvivalens, azaz aznincs <math>f</math>megfelelő bijektív leképezés nem bijektív, akkor <math>B</math> számossága nagyobb, mint <math>A</math> számossága. Jele: <math>|A|<|B|</math>.