Definition talk:Sub-Basis/Analytic Sub-Basis

Question
I see two possibilities here, and I'm not sure that it is clear which is the correct one:
 * $(1): \quad$ Steen and Seebach adopt the convention that $\bigcap \varnothing$ is the whole topological space. I'm not sure how this would fit in with Intersection of Empty Set, though.


 * $(2): \quad$ Steen and Seebach adopt the convention that a sub-basis covers the whole space. It appears that some authors do not require this. In this case, we should probably use the same convention for both Definition:Analytic Sub-Basis and Definition:Synthetic Sub-Basis.

--abcxyz (talk) 20:04, 30 September 2012 (UTC)


 * I don't understand your comment "I'm not sure how this would fit in with Intersection of Empty Set, though." That is exactly what Intersection of Empty Set says. $(1)$ holds.


 * However, I understand your confusion over the fact that if $\bigcap \varnothing = \mathbb U$ then an empty set covers the whole space - I believe that the definition of a "cover" should specifically exclude this possibility by insisting that an element of a cover should not be empty. --prime mover (talk) 06:16, 1 October 2012 (UTC)


 * I've added the (probably crucial!) missing words from S&S (my mistake back when I first posted it) - feel free to inspect it. --prime mover (talk) 06:16, 1 October 2012 (UTC)