Prove that and that .

*Proof.*If is any element of , then by definition of , we have (since is the set of elements in either or ). Thus, . ∎

* Proof. * If is any element of , then since is defined to be the set of elements that are in both and . Therefore, . ∎