а) Допустим, что (x, y) ∈ A x (B Δ С). Тогда x ∈ A, а y ∈ B Δ С.
Пусть y ∈ B \ C. Тогда (x, y) ∈ (A x B) \ (A x C).
Пусть y ∈ C \ B. Тогда (x, y) ∈ (A x C) \ (A x B).
Следовательно, (x, y) ∈ (A x B) Δ (A x C).
A x (B Δ С) ⊂ (A x B) Δ (A x C)
б) Допустим, что (x, y) ∈ (A x B) Δ (A x C). Тогда x ∈ A, а y ∈ B \ C, либо y ∈ B \ C.
Следовательно y ∈ B Δ С, а (x, y) ∈ A x (B Δ С).
(A x B) Δ (A x C) ⊂ A x (B Δ С)
в) A x (B Δ С) ⊂ (A x B) Δ (A x C) и (A x B) Δ (A x C) ⊂ A x (B Δ С) ⇒ A x (B Δ С) = (A x B) Δ (A x C) (по определению равенства).