Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
arbitrary_intersection [2013/08/12 15:30] nikolaj |
arbitrary_intersection [2013/09/05 20:13] nikolaj |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| | @#88DDEE: $S$ | | | @#88DDEE: $S$ | | ||
| - | | @#55EE55: $x\in \bigcap S$ | | + | | @#FFBB00: $x\in \bigcap S$ | |
| - | | @#88DDEE: $X\in S$ | | + | | $X\in S$ | |
| - | | @#55EE55: $ \forall X\ (x\in X) $ | | + | | @#55EE55: $ \forall X.\ x\in X $ | |
| ==== Discussion ==== | ==== Discussion ==== | ||
| Line 15: | Line 15: | ||
| ==== Context ==== | ==== Context ==== | ||
| - | === Parents === | + | === Requirements === |
| [[Intersection]] | [[Intersection]] | ||
