Teilmenge Δ(M) des kartesischen Produktes M × M einer Menge M mit sich, definiert durch \begin{eqnarray}\Delta (M):=\{(x,x)\in M\times M:x\in M\}.\end{eqnarray}

Eine Relation R ⊆ M × M enthält die Diagonale genau dann, wenn sie reflexiv ist.