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) U (A - C)
(A - B) ∩ (B - C) = (A - C) ∩ (A - B)
podemos garantir que