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] (current) Both sides previous revision Previous revision 2013/09/05 20:13 nikolaj 2013/09/05 20:13 nikolaj 2013/09/05 20:13 nikolaj 2013/09/05 20:12 nikolaj 2013/08/12 15:30 nikolaj 2013/07/29 13:30 nikolaj 2013/06/06 23:15 nikolaj 2013/05/24 11:42 nikolaj 2013/05/23 22:45 nikolaj 2013/05/19 23:58 nikolaj 2013/05/19 23:56 nikolaj created Next revision Previous revision 2013/09/05 20:13 nikolaj 2013/09/05 20:13 nikolaj 2013/09/05 20:13 nikolaj 2013/09/05 20:12 nikolaj 2013/08/12 15:30 nikolaj 2013/07/29 13:30 nikolaj 2013/06/06 23:15 nikolaj 2013/05/24 11:42 nikolaj 2013/05/23 22:45 nikolaj 2013/05/19 23:58 nikolaj 2013/05/19 23:56 nikolaj created 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 ==== Line 14: Line 14: 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 ​==== - === Requirements ​=== + === Context ​=== [[Intersection]] [[Intersection]]