In de
verzamelingenleer, een deelgebied van de
wiskunde is een
eindige verzameling een
verzameling met een
eindig aantal
elementen. De verzameling
is bijvoorbeeld een eindige verzameling met vijf elementen. Het aantal elementen van een eindige verzameling is een
natuurlijk (
niet-negatief getal) en wordt de
kardinaliteit van de verzameling genoemd. Een verzameling die niet eindig is wordt
oneindig genoemd. De verzameling van alle positieve gehele getallen is een voorbeeld van een
oneindige verzameling:
Eindige verzamelingen zijn bijzonder belangrijk in de
combinatoriek, de wiskundige studie van het tellen. Veel wiskundige argumenten, waar eindige verzamelingen een rol in spelen, baseren zich op het
duiventilprincipe. Dit principe stelt dat er geen
injectieve functie kan bestaan van een grotere eindige verzameling naar een kleinere eindige verzameling.