Category:Either-Or Topology is Lindelöf