Relation (A, B, ~), so daß \begin{eqnarray}\mathop{\bigwedge }\limits_{b\in B}\mathop{\bigwedge }\limits_{a\in A}a\sim b,\end{eqnarray} d. h., so daß es zu jedem Element b ∈ B ein Element a ∈ A gibt, welches zu b in Relation steht.