Diagonal morphism
= Diagonal morphism
{title2=$\Delta_{X/S}:X\to X\times_SX$}
The diagonal morphism sends a point to the pair consisting of that point twice. Every diagonal of schemes is a locally closed immersion, and a morphism is separated exactly when its diagonal is a closed immersion.