Co je to počitatelná sada?
Množina je spočetná, pokud její mohutnost (tj. počet prvků, které obsahuje) je spočetné nekonečné číslo, tj. číslo, které lze dát do korespondence jedna ku jedné s přirozenými čísly. Jinými slovy, množina je spočetná, pokud ji lze vyčíslit nebo vyjmenovat v konečné posloupnosti.
Například množina přirozených čísel sama o sobě je spočetná, protože je můžeme vypsat v posloupnosti: 1, 2, 3 , ... . Množina celých čísel je také spočetná, protože můžeme vypsat všechna sudá celá čísla, pak všechna lichá a tak dále. a neexistuje způsob, jak je všechny vyjmenovat v konečné posloupnosti.



