Diskreetse matemaatika elemendid
mis kuuluvad hulka A, aga ei kuulu hulka B, st AB = { x | x∈ A & ¬(x∈ B )}.
Universaalhulk
12
o DEF: hulk, mis sisaldab alamhulkadena kõiki antud probleemis või mõttekäigus
vaadeldavaid hulki. U = {x | x=x}.
Täiend
o DEF: Hulga A täiendiks A’ nimetatakse hulka, moodustavad kõik need universaalse hulga
elemendid, mis ei kuulu hulka A: A’ = {x ∈ U| (x∉ A) } = {x ∈ U| ¬ (x∈ A) }
Vienni diagrammid
o DEF: Hulgateoreetilistele tehetele ja avaldistele vastavaid hulki kujutatakse tihti nn
Venni diagrammide abil, kus hulkadele vastavad joontega piiratud piirkonnad.
Tehete algebralased omadused, nende tõestamine ja kontroll
o Näiteks ühend, ühisosa ja sümmeetriline vahe on kommutatiivsed tehted, aga vahe ei ole
(tuua kontranäide!).
o Mõned samasused saame lausearvutusest otse üle võtta. Ühend, ühisosa ja täiend on
annaabi.ee 
