Związki pomiędzy różnicę, sumę i iloczynem zbiorów przedstawia poniższe twierdzenie.
Twierdzenie, (prawa de Morgana)
Dla dowolnych zbiorów A,B i C zachodzi:
1.
i
A -^B U C) = (A - B) n (A - C)7 A - (B n C) = (A - B) U (A - C).