I was thinking about such think since reading Engelking's introduction to topology. (When dealing with topology, it's so natural to think about both implication

I was thinking about such think since reading Engelking's introduction to topology. (When dealing with topology, it's so natural to think about both implications, and examples of spaces (or, as importantly, counterexamples).)