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

Is it always true that $$(A_1\cap A_2)\times(B_1\cap B_2)=(A_1\times B_1)\cap (A_2\times B_2)\qquad ?$$ I believe it is, but I wanted to make sure than I am on the right path. I proved containment for both sides by picking arbitrary elements $(a,b)$ to be in the LHS, and I have shown that they are in the RHS, and vice-versa. is this correct to solve a problem like this?

share|cite|improve this question
yes, if that's what you did it is correct. – mathemagician Jan 21 '13 at 17:51
You can also prove this by showing that the statement of specification upon each set is logically equivalent to the other. – 000 Jan 21 '13 at 18:14

The question was answered already in the comments, so I thought I'd make a community wiki answer. Yes, to show that two sets $x$ and $y$ are equal it is enough to show that $x \subseteq y$ and $y \subseteq x$. This follows from the Axiom of Extensionality: sets are equal if and only if they have the same elements.

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.