Let $f : X \to Y$ be a D18: Map.
The canonical surjective submap of $f$ is the D18: Map \begin{equation} X \to f(X), \quad x \mapsto f(x) \end{equation}