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. Bir kümenin eleman sayısı sonsuzsa yani bir tam sayı ile ifade edilemiyorsa ona sonsuz küme denir. Sonlu olmayan her küme sonsuz kümedir.