A

B

C

U

A∩B∩C

A∩B

Klõpsates märkeruudule näete hulgateooria põhitehteid venni diagrammiga

B∩C

A∪B

A∪B∪C

A∩C

Ühisosa

Ühend

B∪C

A∪C

Hulga \; täiend

Vahe

A\B

B\A

A

B

C

B

C

¬C

\overline{C}

Kahe hulga A ja B ühendiks ehk summaks A ∪ B  nimetatakse hulka, 
mille moodustavad kõik elemendid, mis kuuluvad hulka A või hulka B.

Kahe hulga A ja B ühisosaks A ∩ B nimetatakse hulka, mille moodustavad
kõik elemendid, mis kuuluvad nii hulka A kui ka hulka B.

Definitsioon

A

A/B

B/A

\overline{A}

¬A

Hulgad

\overline{B}

Kahe hulga A ja B vaheks nimetatakse hulka, mille moodustavad
kõik hulga A elemendid, mis ei kuulu hulka B.

¬B

u(x, y) = -5 ≤ x ≤ 8 ∧ -7.5 ≤ y ≤ 5
A = (0, 0)
a(x, y) = x^(2) + y^(2) ≤ 9
b(x, y) = (x - 3)^(2) + y^(2) ≤ 9
c(x, y) = (x - 1.5)^(2) + (y + 2.6)^(2) ≤ 9
h(x, y) = a(x, y) ∧ b(x, y) ∧ c(x, y)
d(x, y) = a(x, y) ∧ b(x, y)
ab = false
e = false
f(x, y) = b(x, y) ∧ c(x, y)
g = false
i(x, y) = a(x, y) ∨ b(x, y)
j = false
k(x, y) = a(x, y) ∨ b(x, y) ∨ c(x, y)
l = false
m(x, y) = a(x, y) ∧ c(x, y)
n = false
o(x, y) = c(x, y) ∨ b(x, y)
p = false
q(x, y) = a(x, y) ∨ c(x, y)
r = false
B: (3, 0)
C: (1.5, -2.6)
eq1: x^(2) + y^(2) = 9
eq2: (x - 3)^(2) + y^(2) = 9
eq3: (x - 1.5)^(2) + (y + 2.6)^(2) = 9
D, E = Intersect(eq2, eq1)
s = CircleArc(A, C, E)
t = CircleArc(B, E, C)
eq4: eq1
eq5: eq2
eq6: eq3
F, G = Intersect(eq5, eq4)
v = false
w = false
e_1(x, y) = (¬(c(x, y))) ∧ u(x, y)
f_1 = false
a_1 = false
b_1 = false
tt = CircleArc(B, E, C)
ss = CircleArc(A, C, E)
g_1 = false
i_1(x, y) = (¬(a(x, y))) ∧ u(x, y)
j_1 = false
c_1(x, y) = (¬(b(x, y))) ∧ u(x, y)
d_1 = false