eine Relation (A, B, ~) so, daß \begin{eqnarray}\mathop{\wedge }\limits_{{a}_{1},{a}_{2}\in A}\mathop{\wedge }\limits_{b\in B}({a}_{1}\sim b\wedge {a}_{2}\sim b)\Rightarrow {a}_{1}={a}_{2}.\end{eqnarray}

Dies bedeutet, daß Elemente a₁, a₂ ∈ A gleich sind, sofern sie zum selben Element b ∈ B in Relation stehen.