Teoreetilibe informaatika kordamisküsimused
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
hulga võimsus leitakse, seades tema elemendid bijektiivsesse vastavusse (üks-
ühesesse) mõne tuntud võimsusega hulga (näiteks naturaalarvude hulga)
elementidega.
4. Graafid. Puude esitused. Programmide esitamine puuna
Mittejärjestatud ja mitteorienteeritud graaf on paar G = (A,R), kus A on tippude
hulk ja kaarte hulk R on seos hulgal A.
Graafi saab esitada paaride hulgana (A + R analüütiliselt, või predikaadina) või
joonisena.
Graafide võrdsus:
Graafid G1 = (A1, R1) ja G1 = (A2, R2) on võrdsed ehk isomorfsed, kui leidub
annaabi.ee 
