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

I have little experience with math proofs and I would like to prove $A \cup (A\cap B)=A$, by showing that the left hand side is a subset of right hand side and vice versa.

Since $ A \subseteq A \space and \space A\cap B \subseteq A$

$\therefore \space lhs \subseteq rhs$

Given that $A \cup (A\cap B) \equiv A \cap (A \cup B)$

$A \subseteq A \space and \space A \subseteq (A\cup B) $

$\therefore \space rhs \subseteq lhs$

Does the above proposed solution suffice as a proof?

share|cite|improve this question
Yes, provided that you’ve already proved that $A\cup(A\cap B)=A\cap(A\cup B)$. – Brian M. Scott Nov 17 '12 at 21:18
It suffices. I would somewhat prefer chasing elements. Kind of depends on how "algebraic" you want to be. – André Nicolas Nov 17 '12 at 21:18
up vote 2 down vote accepted

The question you ask is quite subjective. Suffice for whom? In what context? If you are a freshman then your proofs are judged in different standards then the proofs of a second- or third-year student.

It also depends on what have you proved before (e.g. $X\subseteq Y$ and $Z\subseteq Y$ implies that $X\cup Z\subseteq Y$).

Note that the for $\text{RHS}\subseteq\text{LHS}$ you only need to note that $A\subseteq A$ and therefore $A\subseteq A\cup X$ for every $X$, in particular $X=A\cap B$.

You may also wish to write an element chasing proof, e.g. to show $A\subseteq A\cup(A\cap B)$:

Let $a\in A$ be an arbitrary element, we will show that $a\in A\cup(A\cap B)$. Since $a\in A$ we have that $a\in A$ or $a\in A\cap B$. Therefore $a\in A\cup(A\cap B)$, and therefore $A\subseteq A\cup(A\cap B)$.

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.