Separated map

Definition
A continuous map $$f: X \to Y$$ of topological spaces is termed a separated map if the diagonal map $$X \to X \times_f X$$ is a closed map.