Diagonal subset (source code)

= Diagonal subset
{title2=$\Delta_X=\{(x,x):x\in X\}$}

= Diagonal
{synonym}

The image of the <diagonal map> in $X\times X$. For a <manifold>, the diagonal subset is an embedded submanifold diffeomorphic to $X$.