identitive Relation, eine Relation „∼“ auf einer Menge A mit der Eigenschaft, daß \begin{eqnarray}\mathop{\wedge }\limits_{a,b\in A}(a\sim b\wedge b\sim a)\Rightarrow a=b,\end{eqnarray}

d. h., daß aus a ∼ b und b ∼ a schon a = b folgt.

Man kann dies auch so formulieren: Nur dann steht sowohl a mit b als auch b mit a in Relation, wenn a = b gilt.