Grassmanni valemid on valemid, mis aitavad leida hulkade ühendi võimsust ning ühisosa võimsust. Asendusseosed on seosed, mille abil saab vahest ja sümmeetrilisest vahest ühendi või ühisosa. Cantori normaalkuju on hulgaavaldise kuju, mis sisaldab ainult ühend, ühisosa, täiend. Minimaalne Cantori normaalkuju on lihtsaim CNK. Täielik CNK on normaalkuju, mille iga avaldise osa sisaldab kõiki hulki. MCNKst saab TCNK kleepimisseaduse abil. Ristkorrutis on kahe hulga elemendite paaride koostamine. Järjestatud paare esitatakse loogsulgude vahel. Otseruut on hulga ristkorrutis iseendaga. Korteežid on järjestatud paarid, kolmikud, nelikud jne. Graafid: Graaf on objektide vaheliste seoste mudel. Graaf koosneb tippudest ja kaartest. Orienteeritud graafis saab ühest tipust teise minna ainult noolega suunatud kaare mööda
sümmeetriline vahe Δ. Kui 𝐴∩𝐵=∅, siis hulgad A ja B on mittelõikuvad. Lõpliku hulga A võimsuseks |A| nim tema elementide arvu. Grassmanni valemid eistavad hulkade ühisosa või ühendi elementide arvu. Duaalsetes hulgaavaldistes asenduvad ∩/∪, ∪/∩, ∅/𝐼, 𝐼/∅ nt 𝐴̅∩(𝐵∪𝐶) ja 𝐴̅∪(𝐵∩𝐶). Hulgaavaldise Cantori normaalkuju (CNK) on ühendite ühisosa või ühisosade ühend. Täielik Cantori normaalkuju (TCNK) on selline ühisosade ühend (ühendite ühisosa), kus igas ühisosa(ühendi)tehtes osalevad operandidena kõik avaldises leiduvad hulgad. Kahe hulga ristkorrutis 𝐴𝑥𝐵 on järjestatud paaride <𝑎,𝑏> hulk, kus paari esimene element on esimeseks teguriks olevast hulgast ja paari teine element on teiseks teguriks olevast hulgast : 𝐴𝑥𝐵={ <𝑎,𝑏> | 𝑎∈𝐴∧𝑏∈𝐵 }.
Kui 𝐴 ∩ 𝐵 = ∅, siis hulgad A ja B on mittelõikuvad. Lõpliku hulga A võimsuseks |A| nim tema elementide arvu. Grassmanni valemid eistavad hulkade ühisosa või ühendi elementide arvu. Duaalsetes hulgaavaldistes asenduvad ∩/∪, ∪/∩, ∅/𝐼, 𝐼/∅ nt 𝐴̅ ∩ (𝐵 ∪ 𝐶) ja 𝐴̅ ∪ (𝐵 ∩ 𝐶). Hulgaavaldise Cantori normaalkuju (CNK) on ühendite ühisosa või ühisosade ühend. Täielik Cantori normaalkuju (TCNK) on selline ühisosade ühend (ühendite ühisosa), kus igas ühisosa(ühendi)tehtes osalevad operandidena kõik avaldises leiduvad hulgad. Kahe hulga ristkorrutis 𝐴𝑥𝐵 on järjestatud paaride < 𝑎, 𝑏 > hulk, kus paari esimene element on esimeseks teguriks olevast hulgast ja paari teine element on teiseks teguriks olevast hulgast : 𝐴𝑥𝐵 = { < 𝑎, 𝑏 > | 𝑎 ∈ 𝐴 ∧ 𝑏 ∈ 𝐵 }. Hulkade
annaabi.ee 
