Universal property of the quotient topology