Sayılabilir küme

doğal sayılar kümesinin bazı alt kümeleriyle aynı sayısallığa sahip sayılabilir küme

Sayılabilir küme sonlu olan ya da doğal sayılarla birebir eşlenebilen kümelerin genel adıdır. Başka bir deyişle, eleman sayısı doğal sayılar kümesinden büyük olmayan kümeler sayılabilir olarak nitelenir.