Difference between revisions of "Universal property of the quotient topology"