Zbiór skończony – zbiór o skończonej liczbie elementów. Nieujemną liczbę całkowitą określającą liczbę elementów zbioru skończonego nazywa się mocą zbioru. Zbiór skończony ma moc skończoną. Najmniejszym zbiorem skończonym jest zbiór pusty Ø.
Np. zbiór liczb
jest zbiorem skończonym o pięciu elementach; moc tego zbioru wynosi 5. Zbiór pusty ma moc równą zero.
Zbiory skończone mogą mieć bardzo dużo elementów. Np. liczba atomów w widzialnym wszechświecie, tzn. dostępnym w obserwacjach za pomocą najlepszych teleskopów, szacowana jest na ok. 1080.
Nie zawsze jest łatwo określić liczbę elementów zbiorów skończonych, gdy dana jest jedynie definicja zbioru. Np. na pytanie ile jest (pod)zbiorów k-elementowych zbioru n-elementowego odpowiada dział matematyki zwany kombinatoryką. (W ogólności kombinatoryka zajmuje się badaniem różnych struktur, skończonych lub policzalnych nieskończonych, i odpowiada na pytanie o liczbę elementów zbiorów tych struktur;