Before illustrating the use of the universal property of quotients we discuss the following issue. Suppose that
and
are topological spaces and
is a given continuous map,
then the quotient topology on
induced by
is weaker than
the given topology on
. When would the given topology on
be equal to the quotient topology?