User:Dfeuer/Definition:Usual Topology