Differences
This shows you the differences between two versions of the page.
|
arbitrary_intersection [2013/09/05 20:13] nikolaj |
arbitrary_intersection [2014/03/21 11:11] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ===== Arbitrary intersection ===== | ||
| - | ==== Definition ==== | ||
| - | | @#88DDEE: $S$ | | ||
| - | | @#FFBB00: $x\in \bigcap S$ | | ||
| - | |||
| - | | $X\in S$ | | ||
| - | |||
| - | | @#55EE55: $ \forall X.\ x\in X $ | | ||
| - | |||
| - | ==== Discussion ==== | ||
| - | This can be viewed as a version of [[intersection]], which however requires one more quantifier. | ||
| - | === Reference === | ||
| - | Wikipedia: [[http://en.wikipedia.org/wiki/Intersection_%28set_theory%29#Arbitrary_intersections|Arbitrary intersection]] | ||
| - | |||
| - | ==== Context ==== | ||
| - | === Requirements === | ||
| - | [[Intersection]] | ||
