| Line 12: | Line 12: | ||
==Proof== | ==Proof== | ||
| − | |||
| − | |||
First we show that A ∩ Ø ⊂ Ø. <br/> | First we show that A ∩ Ø ⊂ Ø. <br/> | ||
| − | We know this is true because the set resulting from the | + | We know this is true because the set resulting from the intersection of two sets is a subset of both of the sets forming the intersection ([[Union_and_intersection_subsets_mh|proof]]). |
Next, we want to show that Ø ⊂ A ∩ Ø.<br/> | Next, we want to show that Ø ⊂ A ∩ Ø.<br/> | ||
| − | + | We know this is true because the empty set is a subset of all sets ([[empty_set_contained_in_every_set|proof]]). | |
Since A ∩ Ø ⊂ Ø and Ø ⊂ A ∩ Ø, we have that A ∩ Ø = Ø. <br/> | Since A ∩ Ø ⊂ Ø and Ø ⊂ A ∩ Ø, we have that A ∩ Ø = Ø. <br/> | ||
<math>\blacksquare</math> | <math>\blacksquare</math> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
---- | ---- | ||
[[Proofs_mhossain|Back to list of all proofs]] | [[Proofs_mhossain|Back to list of all proofs]] | ||
Latest revision as of 06:11, 6 October 2013
Theorem
Let $ A $ be a set in S. Then
A ∩ Ø = Ø
Proof
First we show that A ∩ Ø ⊂ Ø.
We know this is true because the set resulting from the intersection of two sets is a subset of both of the sets forming the intersection (proof).
Next, we want to show that Ø ⊂ A ∩ Ø.
We know this is true because the empty set is a subset of all sets (proof).
Since A ∩ Ø ⊂ Ø and Ø ⊂ A ∩ Ø, we have that A ∩ Ø = Ø.
$ \blacksquare $
