Konačan skup

Skup A je konačan ako je prazan ili postoji bijekcija iz A u

skup od prvih n prirodnih brojeva,
skup koji se sastoji od prvih n prirodnih brojeva.

» Rječnik pojmova - skupovi i relacije