Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
arbitrary_intersection [2013/09/05 20:13] nikolaj |
arbitrary_intersection [2013/09/05 20:13] nikolaj |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| | $X\in S$ | | | $X\in S$ | | ||
| - | | @#55EE55: $ \forall X.\ x\in X $ | | + | | @#55EE55: $ x\in X $ | |
| ==== Discussion ==== | ==== Discussion ==== | ||
| This can be viewed as a version of [[intersection]], which however requires one more quantifier. | This can be viewed as a version of [[intersection]], which however requires one more quantifier. | ||
| - | ==== Reference ==== | + | === Reference === |
| Wikipedia: [[http://en.wikipedia.org/wiki/Intersection_%28set_theory%29#Arbitrary_intersections|Arbitrary intersection]] | Wikipedia: [[http://en.wikipedia.org/wiki/Intersection_%28set_theory%29#Arbitrary_intersections|Arbitrary intersection]] | ||
