Sejam A, B e C subconjuntos de um conjunto universo U. Das afirmações:
I. A∖(B∩C)=(A∖B)∪(A∖C),
II. (A∩C)∖B=A∩BC∩C,
III. (A∖B)∩(B∖C)=(A∖B)∖C,
é (são) verdadeira(s)