Sejam A, B e C três subconjuntos de um universo U e as seguintes afirmações,

I. Se B ⊂ A, então B – A ⊂ C.

II. Se A ∩ B = Ø e B ∩ C = Ø, então A ∩ C = Ø.

III. Se A ∪ B = C, então C – A = B. temos que