Eindige verzameling

Een eindige verzameling is in de verzamelingenleer, een deelgebied van de wiskunde, een verzameling met een eindig aantal elementen. De verzameling

${\displaystyle \{2,4,6,8,10\}}$

is bijvoorbeeld een verzameling met vijf elementen.

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.