eine Relation (A, B, ∼) so, daß \begin{eqnarray}\mathop{\wedge }\limits_{a\in A}\mathop{\vee }\limits_{b\in B}a\sim b.\end{eqnarray}

Dies bedeutet, daß es zu jedem Element a ∈ A ein Element b ∈ B gibt, welches zu a in Relation steht.