Let us now turn to a continuous, closed surjective map
. Again we merely have to show that
the given topology on
is stronger than the quotient topology since the reverse inclusion is trivial. So let
be an open set in
with respect to the quotient topology induced by
. By definition
is
open in
, or in other words
is closed in
. Since
is closed,
is
closed in
with respect to the given topology on
. That is to say
is open with respect to the
given topology on
.