Definition:Usual Topology