Konečné a nekonečné množiny

Množina se nazývá

• konečná, jestliže (pak je její mohutnost ),
  nebo existuje takové , že (tedy lze její prvky očíslovat), pak píšeme .

• nekonečná, když není konečná.
  • spočetná (spočetně nekonečná), jestliže
  • nespočetná (nespočetně nekonečná), jestliže je nekonečná, ale není spočetná (tedy když )