Mohutnost množin

Buďte množina. Řekneme, že

• mají stejnou mohutnost, právě když existuje bijekce .
  Značíme

• Mohutnost je menší nebo rovna mohutnosti , právě když existuje prosté zobrazení .
  Značíme

• Mohutnost je ostře (striktně) menší než mohutnost , právě když , ale neplatí .
  Značíme