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 ${\displaystyle J_{n}=\{1,2,\dots ,n\}}$, der ${\displaystyle n}$ er et positivt heltall, så er mengden ${\displaystyle A}$ endelig, hvis ${\displaystyle f:A\to J_{n}}$ er en bijeksjon. ^[1]

Eksempler

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

Referanser