Properties of Topologies for the Continuous Representability of All Weakly Continuous Preorders

We investigate properties of strongly useful topologies, i.e., topologies with respect to which every weakly continuous preorder admits a continuous order-preserving function. In particular, we prove that a topology is strongly useful provided that the topology generated by every family of separable systems is countable. Focusing on normal Hausdorff topologies, whose consideration is fully justified and not restrictive at all, we show that strongly useful topologies are hereditarily separable on closed sets, and we identify a simple condition under which the Lindelof property holds.

Automated summary

We investigate the properties of strongly useful topologies, proving that a topology is strongly useful if the topology generated by every family of separable systems is countable. Focusing on normal Hausdorff topologies, we show that strongly useful topologies are hereditarily separable on closed sets and identify a simple condition for the Lindelof property to hold.