Considere X, Y, Z e W conjuntos não vazios. Com base na teor...

Se ܺX ⊂ Z e ܻY ⊂ W, então, (X ∪ Y) ∩ (Z ∪ W) = Z ∪ W.

Se X, Y e Z são conjuntos disjuntos entre si, ݊n (X ∪ Y ∪ Z) = n (X) + n (Y) + n (Z) + n ( X ∩ Y∩ Z).

(X ∪ Y) ∩ Z = X ∪ (Y ∩ Z).

(X ∩ Y) ∪ W = (X ∪ W) ∩ Y.

n (X ∪ Z ∪ W) = n (X) + n (Z) + n (W) - n (X ∩ Z ∩ W)