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:
 * $\left({1}\right): \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.


 * $\left({2}\right): \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)