Eleman sayısı belirli olan kümelere sonlu küme, elemanları sayılamayacak kadar çok kümelere sonsuz küme denir. Bir kümenin eleman sayısı sıfır ya da daha büyükse (yani doğal sayı ise ya da sonlu ise) bu kümeye sonlu küme denir. Sonlu kümenin eleman sayısı sayılabilir çokluktadır.