Hulkade vahe- Kahe hulga vahe A/B on defineeritud kui ,,hulk, mis koosneb kõigist niisugustest elementidest, mis kuuluvad hulka A ent ei kuulu hulka B" (Tähistatakse /) Hulkade sümmeetriline vahe- Kahe hulga sümmeetriliseks vaheks on ,,kõik hulga A elemendid + kõik hulga B elemendid ilma nende ühise osata" (Tähistatakse ) [2]. Hulga võimsus. Kontiinumhüpotees. Hulga võimsus- Lõpliku hulga võimsus on tema elementide arv. Hulga võimsust tähistavat sümbolit nimetatase ka hulga kardinaalarvuks. *Lõpliku hulga kardinaalarv on selle hulga elementide arv, lõpmatute hulkade puhul kasutatakse aga eritähiseid: 0 tähistab loenduvat võimsust, 1 aga tähistab kontiinumvõimsust. (loendamatu) *Võrdvõimsad hulgad- Kui kahes hulgas on ühepalju elemente ning nende elementide vahel saab luua üksühese vastavuse, on need kaks hulka võrdvõimsad. (Tähistatakse |A|=|B|) *Loenduv hulk- Kui hulk on sama võimsusega nagu naturaalarvude hulk N, peetakse teda üldiselt loenduvaks
definitsiooni põhjal, et ¿ a¿ A ¿ ehk a A a , vastuolu. ¿ · Seega viivad mõlemad võimalused vastuoluni, mis näitab, et bijektsiooni g : A P( A) ei eksisteeri. Hulga A võimsust tähistatakse sümboliga ¿ A¿ või card A ning nimetatakse kardinaalarvuks. A={a1 , ... , an } Kui , siis kirjutame ¿ A¿ n , samuti ¿ ¿ 0 . 0 ¿ N¿ 0 Loenduva hulga võimsust tähistatakse sümboliga (loe: alef-null) ehk . Kontiinumi võimsusega hulki tähistatakse sümboliga c ehk ¿ R¿ c . Kokkuvõtvalt teame, et iga n N korral
annaabi.ee 
