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=\{{\textrm {Hund}},{\textrm {Katt}},{\textrm {Hest}},{\textrm {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$.