Here's a problem I am trying to solve for recreation.
$$
A\cap B\subset C' \text{ and } A\cup C\subset B. \hspace{2 mm}\text{ Show that $A$ and $C$ are disjoint.}
$$
I can clearly see how A and C would be disjoint. Essentially, if my understanding is correct, A and C are non-overlapping sets within the bound of set B. But, I'm not exactly clear on how I would prove this by set logic.
If you could provide some guidance, I would really appreciate it.
Best Answer
The second condition says that all of $A$ is inside $B$. So $A\cap B = A\subset C'$.