Gleichheit A=B zweier Mengen A und B beweist man indem man zeigt
A ⊆ B zeigt man indem man zeigt, dass jedes Element von A auch Element von B ist.
(M x N)c = (Mc x Nc) U (Mc x N) U (M x Nc)
Zu (M x N)c ⊆ (Mc x Nc) U (Mc x N) U (M x Nc):
Sei a ∈ (M x N)c. Seien x ∈ X, y ∈ Y, so dass a = (x,y) ist.
Ist x ∈ M und y ∈ N, dann ist a ∈ M×N. Das ist ein Widerspruch zu a ∈ (M x N)c. Also ist x ∉ M oder y ∉ N. Demanch ist x ∈ Mc oder y ∈ Mc.
Ist x ∈ Mc und y ∈ Nc, dann ist (x,y) ∈ Mc x Nc.
Ist x ∈ Mc und y ∉ Nc, dann ist x ∈ Mc und y ∈ N und somit (x,y) ∈ Mc x N.
Ist x ∉ Mc und y ∈ Nc, dann ist x ∈ M und y ∈ Nc und somit (x,y) ∈ M x Nc.
Also ist (x,y) ∈ (Mc x Nc) U (Mc x N) U (M x Nc).
Zu (Mc x Nc) U (Mc x N) U (M x Nc) ⊆ (M x N)c: Selbst machen!