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, . ∎