Relation (A,B, ~), so daß \begin{eqnarray}\mathop{\wedge }\limits_{{b}_{1},{b}_{2}\in B}\mathop{\wedge }\limits_{a\in A}(a\sim{b}_{1}\wedge a \in {b}_{2})\Rightarrow {b}_{1}={b}_{2},\end{eqnarray} d. h., so daß die Elemente b₁, b₂ ∈ B gleich sind, sofern sie zum selben Element a e A in Relation stehen.