Diagonal subset (${\Delta }_X=\{(x,x):x\in X\}$)

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