Compact spaces and total boundness
First countable topologies
Any metric space is normal