Keskustelu:Äärellinen joukko

Hmm. Tämänhetkinen versio äärellisyyden määritelmästä näyttää vähän kehäpäätelmältä. Äärettömyyden englanninkielisessä vastineessa en:infinity on ihan tarkantuntuinen selitys asiasta. Tavan mukaan siis joukko A on äärellinen sikäli, kun mikään sen aito osajoukko B ei ole yhtä mahtava kuin A itse (eli siis A ja B eivät saa olla kuvattavissa bijektiivisesti toisilleen, jos B on A:n aito osajoukko).

-- Kimmo Koskenniemi