O conjunto diferença X - Y, entre dois subconjuntos X e Y de um mesmo conjunto universo U, é definido por:

X - Y = {u ∈ U / u ∈ X e u ∉ Y}

Considere três subconjuntos, A, B e C, do mesmo conjunto Universo U.

O conjunto A - (B ∩ C) é igual ao conjunto