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:12] nikolaj |
arbitrary_intersection [2014/03/21 11:11] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Arbitrary intersection ===== | ===== Arbitrary intersection ===== | ||
- | ==== Definition ==== | + | ==== Set ==== |
- | | @#88DDEE: $S$ | | + | | @#55CCEE: context | @#55CCEE: $S$ | |
- | | @#FFBB00: $x\in \bigcap S$ | | + | | @#FFBB00: definiendum | @#FFBB00: $x\in \bigcap S$ | |
| $X\in S$ | | | $X\in S$ | | ||
- | | @#55EE55: $ \forall X.\ x\in X $ | | + | | @#55EE55: postulate | @#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]] | ||
- | ==== Context ==== | + | ==== Parents ==== |
- | === Parents === | + | === Context === |
[[Intersection]] | [[Intersection]] |