Zbiór skończony to taki, którego wszystkie elementy możemy wymienić (wypisać). Przykładowo, zbiór  jest skończony, gdyż posiada on tylko  elementy.

 - zauważ, że dla każdej liczby naturalnej