zbiór przeliczalny

zbiór przeliczalny,

mat. nieskończony zbiór, którego elementy można ponumerować, tzn. ustawić w ciąg; z.p. jest więc każdy zbiór równoliczny (równoliczność zbiorów) ze zbiorem liczb naturalnych; inaczej: zbiór mocy równej ₀ (alef zero);

a więc — intuicyjnie — zbiór, którego wszystkie elementy można ponumerować liczbami naturalnymi (ustawić w ciąg nieskończony); niekiedy do zbiorów przeliczalnych zalicza się także zbiory skończone.