Separated morphism
= Separated morphism
{wiki=Separated_morphism}
A morphism $f:X\to Y$ is separated when its diagonal $X\to X\times_YX$ is a <closed immersion>. This is the scheme-theoretic analogue of the Hausdorff property.
= Separated morphism
{wiki=Separated_morphism}
A morphism $f:X\to Y$ is separated when its diagonal $X\to X\times_YX$ is a <closed immersion>. This is the scheme-theoretic analogue of the Hausdorff property.