Sejam A, B e C subconjuntos de R, não vazios, e A−B={p∈R;p∈A e p∈/B}. Dadas as igualdades:
(A−B) x C=(A x C)−(B x C)
(A−B) x C=(A x B)−(B x C)
(A∩B)−A=(B∩A)−B
A−(B∩C)=(A−B)∪(A−C)
(A−B)∩(B−C)=(A−C)∩(A−B)
podemos garantir que