 Diagonal subset

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