Ero sivun ”Äärellinen joukko” versioiden välillä

[[joukko|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 [[bijektio|yksi-yhteen]] eli [[bijektio|bijektiivinen]] vastaavuus, [[funktio]], [[kuvaus]]. Toisin sanoen: voimme - ainakin teoriassa - laskea äärellisen joukon alkioiden lukumäärän. Esimerkiksi joukko {2, 4, 6} on äärellinen, koska esimerkiksi ''f''(''x'') = (1/''x'':2)x on bijektiivinen kuvaus, ja ''f''(2)=1, ''f''(4)=2 ja ''f''(6)=3.