Joukon A sanotaan olevan äärellinen, kun sen ja jonkin joukon {1, 2, 3, ...,
n} (
n on
A:n alkioiden lukumäärä) välille voidaan muodostaa jokin
yksi-yhteen eli
bijektiivinen vastaavuus,
funktio,
kuvaus. Toisin sanoen äärellisen joukon alkioiden lukumäärä on – ainakin teoriassa – laskettavissa. Esimerkiksi joukko {2, 4, 6} on äärellinen, koska esimerkiksi
f(
x) =
x:2 on bijektiivinen kuvaus tältä joukolta joukolle {1, 2, 3};
f(2)=1,
f(4)=2 ja
f(6)=3.