Difference between revisions of "Commutativity of intersection"

Revision as of 07:21, 27 April 2015 (view source) Alec (Talk | contribs) m ← Older edit	Latest revision as of 19:32, 28 October 2016 (view source) Alec (Talk | contribs) m (Alec moved page Commutivity of intersection to Commutativity of intersection: Typo in title (I think!))
(No difference)

---

Latest revision as of 19:32, 28 October 2016

$$A\cap B=B\cap A$$

Note

This is somewhere between a theorem and a definition because at some point you have to accept "and" is commutative or something.

Proof

$$\implies$$

$$x\in A\cap B\implies x\in A\text{ and }x\in B\implies x\in B\text{ and }x\in A\implies x\in B\cap A$$ , thus by the implies and subset relation we see $$A\cap B\subset B\cap A$$

$$\impliedby$$

By the exact same procedure we see

$$B\cap A\subset A\cap B$$

Thus we conclude

$$A\cap B=B\cap A$$