Siano A, B e C insiemi. si provi che (A unito B) intersecato C = A unito (B intersecato C)

A ⊆ C sse A ∩ C = A sse è valida la seguente catena di uguaglianze
(A ∪ B) ∩ C = (A ∩ C) ∪ (B ∩ C) = A ∪ (B ∩ C)
Se X elemento di A allora sarà elemento di A unione qualsiasi altro insieme;
se X appartiene alla intersezione, deve essere elemento di entrambi gli insiemi;
se due insiemi A e B sono = , allora A è contenuto in B e viceversa.