Definition 5.6.3. Let $f : X \to Y$ be a continuous map of topological spaces.

We say $f$ is a

*strict map of topological spaces*if the induced topology and the quotient topology on $f(X)$ agree (see discussion above).We say $f$ is

*submersive*^{1}if $f$ is surjective and strict.

## Comments (1)

Comment #628 by Wei Xu on

There are also: