Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Is the form and correctness of my elementwise proof of this correct? I don't have any other way of getting feedback for my proofs and I want to improve.


Proof. Suppose $A, B, C, D$ are sets such that $A \subseteq C$ and $B \subseteq D$ and let $x \in A \cap B$. It has to be shown that $x \in C \cap D$.

$x \in A \cap B$ means that $x \in A$ and $x\in B$. Because $A \subseteq C$, $x \in C$ and because $B \subseteq D$, $x \in D$. Thus, $x \in C \cap D$.

Thus, if $A \subseteq C$ and $B \subseteq D$, then $A \cap B \subseteq C \cap D$.

share|improve this question
4  
This is excellent. –  Brian M. Scott Oct 21 '12 at 15:18
    
Thanks! I just fixed an error that I made in the title. Should I elaborate more on where $x \in A \cap B$ comes from? It comes from $A \cap B \subseteq C \cap D$, correct? –  highphi Oct 21 '12 at 15:22
    
@BrianM.Scott Realized that too. Deleted my comment before seeing you reply. –  hwhm Oct 21 '12 at 15:23
1  
No need to say any more: the reason for choosing $x\in A\cap B$ initially is clear just from the inclusion that you’re trying to prove. –  Brian M. Scott Oct 21 '12 at 15:24
2  
You’re very welcome, and I agree with what Asaf wrote in the answer below. –  Brian M. Scott Oct 21 '12 at 15:37

1 Answer 1

up vote 6 down vote accepted

This is a very well written proof. You state your assumptions and what you wish to prove, then you use the definitions to prove that.

There is nothing more to add, and nothing to reduce. Incidentally today I had the first class of the semester and this is exactly what I tried to teach my students. If they all write such proofs by the end of the month, I should be proud of my work.

share|improve this answer

Your Answer

 
discard

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.