Sejam dois conjuntos A, B ≠ ∅ e A ⊂ B, então pode-se afirmar, que:

A ∩ B = B

A ∪ B = A

A’⊂ B’, em que A’, B’ são os respectivos complementos dos conjuntos A e B.

A ∪ (B – A) = B