ekvivalentsusseose mõistega. Definitsioon Hulgad X ja Y on ekvivalentsed ehk sama võimsusega, kui leidub bijektsioon f :X Y . Asjaolu, et hulgad X ja Y on ekvivalentsed tähistatakse tavaliselt kas X Y või ¿ X¿Y ¿ . Näide: Kaks lõplikku hulka X ja Y on ekvivalentsed parajasti siis, kui nende elementide arvud on võrdsed. Näide: Hulgad N ja Y ={2,4,6,... } on ekvivalentsed. Bijektsiooniks f : N Y on f (n)=2 n iga nN korral. Teisisõnu, paarisarve on täpselt sama palju kui naturaalarve. Näide: Hulga N ja täisarvude hulga Z vahel saab üksühese vastavuse üles seada järgmise funktsiooni f : N Z abil, kui defineerida: x-1 -x f ( x)={ , kui x on paaritu arv ,kui x on paarisarv 2 2
· pealekujutus e sürjektsioon -> Dom(M) = A ja Ran(M) = b (osalevad kõik mõlema hulga elemendid) · üks-üheseks kujutuseks e injektsiooniks kui iga A elemendipaari a,a' ning iga B elemendi b korral kehtib seos: (f(a) = b AND f(a') = b) => a = a' (igale elemendile vastavuses vid üks kindel element) · bijektsiooniks -> kui kujutus on samaaegselt sürjektsioon ja injektsioon Idee poolest on kujutus teatud tüüpi vastavus hulgast A hulka B. Hulgad A ja B on võrdvõimsad, kui leidub bijektiivne vastavus (M:A B) nende vahel (ehk siis kõik elemendid mõlemast hulgast on haaratud ja igaühele vastab vaid 1 kindel element). Lõpmatut hulka nimetatakse loenduvaks, kui see on võrdvõimas naturaalarvude hulgaga. |H| on hulga võimsus ehk lõpliku hulga korral elementide arv hulgas. Lõpmatu
annaabi.ee 
