auch konnexe Relation genannt, eine Relation (A, A, ∼) so, daß

\begin{eqnarray}\mathop{\wedge }\limits_{a.b\in A}a\sim b\vee b\sim a,\end{eqnarray}

d. h., es steht immer a mit b oder b mit a in Relation.