Definition:Quotient Space (Topology)