Existence of strongly proper dyadic subbases

Yasuyuki Tsukamoto

We consider a topological space with its subbase which induces a coding for each point. Every second-countable Hausdorff space has a subbase that is the union of countably many pai…