 Separated morphism

A morphism $f:X\to Y$ is separated when its diagonal $X\to X{\times }_{Y}X$ is a closed immersion. This is the scheme-theoretic analogue of the Hausdorff property.