Zbiór skończony

Zbiór nazywamy skończonym, jeśli istnieje bijekcja pomiędzy tym zbiorem a zbiorem {1, 2, ..., n} gdzie n jest liczbą naturalną. (Wartość n=0 jest dozwolona i wtedy zbiór pusty jest kończony.) Wszystkie skończone zbiory są policzalne, ale nie wszystkie policzalne są skończone.

Ekwiwalentnie, zbiór jest skończony jeśli jego liczba kardynalna tzn. liczba jego wszystkich elementów jest naturalna. Na przykład, zbiór liczb całkowitych pomiędzy -15 i 3 (wyłączając skrajne punkty) jest skończony, i posiada 17 elementów. Zbiór wszystkich liczb pierwszych nie jest skończony.

---