Diagonal map

Given a set $X$, the diagonal map $$\Delta \colon X \to X \times X$$ is defined by $$\Delta (x)=(x,x).$$ If $X$ is a topological space, $\Delta$ is continuous. In fact, it is an embedding.