Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The type of exercise I'm about to speak of seems quite basic however I didn't have any exposure to it until recently so please provide me with some pointers on how to work it out.

Show that if the sets A, B and C satisfy the following relations simultaneously:

$A\cup B = C\\ (A\cup C) \cap B = C\\ (A \cap C) \cup B = A$

then they are the same.

share|cite|improve this question
For example, it is possible to read $B\subseteq A\subseteq C\subseteq B$ from the given statements (how?), hence equality must hold. – Hagen von Eitzen Oct 7 '12 at 14:57

Recall that $X=Y$ if and only if $X\subseteq Y$ and $Y\subseteq X$.

Now using this we have that: $B\subseteq A\cup B\subseteq C$ from the first line; and since $C=B\cap (\text{something})$ we have that $C\subseteq B$. From those we have that $B=C$.

I am leaving it to you to show how $A=B$ as well, and to write a rigorous proof.

share|cite|improve this answer
up vote 0 down vote accepted

Thanks to Asaf Karagila's answer and my last Logics course I understood how to solve this type of exercise. I have attached my solution down below in a picture however I intend to rewrite this answer using latex equations when I'll get some free time.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.