Talk:Intersection of Empty Set

I'm having some trouble with this one. First, I think all the $$\bigcup$$s should be $$\bigcap$$s and that we should have $$\bigcap \mathbb S = \left\{{x: \forall X \in \mathbb S: x \in X}\right\}$$.

It also seems like this asserts that $$x \in \varnothing$$, which isn't true, is it? --Alec (talk) 02:17, 17 August 2010 (UTC)


 * D'oh. Corrected symbols on proof. Must have been half asleep.


 * Okay: so $$\left\{{x: \forall X \in \mathbb S: x \in X}\right\}$$ means:
 * "All the elements in the universe which are also in (all of the sets in $$\mathbb S$$)", or:
 * But all the elements in the universe are not in (all of the sets in $$\mathbb S$$).


 * It's an example of a vacuous truth. --prime mover 05:24, 17 August 2010 (UTC)