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