Talk:Equivalence of Definitions of Topology Generated by Synthetic Sub-Basis

Advance warning: I'm about to restructure this so that the definition of a G.T. based on the sub-basis definition the main definition, and the 2nd definition an "also defined as", by renaming this result to something with iff in its title appropriately - but not tonight, Josephine, I'm too tired.

This ultimately agrees with both the definitions I have in the source works in front of me. --prime mover (talk) 22:09, 8 November 2012 (UTC)