Endelig mengde

En endelig mengde er en mengde med et endelig antall elementer. Det vil si at man kan telle alle elementene i mengden og bli ferdig.

Definisjon

For en mengde $J_n=\{1,2,\dots ,n\}$, der $n$ er et positivt heltall, så er mengden $A$ endelig, hvis $f:A\to J_n$ er en bijeksjon.

Eksempler

Mengden $A=\{\text{Hund},\text{Katt},\text{Hest},\text{Kanin}\}$ er en endelig mengde, siden vi kan angi hvert element (dyr) ett tall fra $J_4$, og vi kan angi hvert element i $J_4$ ett element fra $A$.