sayılabilir küme 

(Alm. abzahlbare Menge, f; Fr. ensemble dénomrable, m; İng. countable set) 

mat. Doğal sayılar kümesine ya da onun sonlu bir alt kümesine bire bir eşlenebilen küme, yani nicelik sayısı, doğal sayıların nicelik sayısından büyük olmayan küme.

K kümesinin sayılabilir olması, K ile doğal sayılar kümesi arasında bir tameşlemenin bulunması demektir.

Sayal sayısı alef sıfırdan büyük olmayan küme.