Extend topology

[sacred belfry]

Milo

[sacred belfry]

spq_64_t

[wispy glacier]

Actually, the way I said it, that cannot be true. I mean if you add enough open sets, you could arrive at a discrete space, which is trivially tychonoff. But if you only add a finite number of open sets and generate the topology with that as a base, then maybe this could be a counterexample.