Separated map

This article defines a property of continuous maps between topological spaces

Definition

A continuous map $f:X\times Y$ of topological spaces is termed a separated map if the diagonal map $X\to X{\times }_{f}X$ is a closed map.