if A union B = A union C, then B=C.

proof: Assume that A union B = A union C. Suppose x is in B. Then x is in A U B. By the assumption x is also in A U C. But we did not assume x was in A so x must be in C. Thus,we have shown B is a subset of C and by a parallel argument C is a subset of B

is this right