eindige verzameling

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.