Universal Property of the Quotient Topology