Mesela $A=\{a,b\}$ kümesi üzerinde $$\beta=\{(a,b),(b,a)\}$$ bağıntısını ele alalım. Bu bağıntı geçişken değildir.
$$[(\underset{1}{\underbrace{(a,b)\in\beta}}\wedge\underset{1}{\underbrace{(b,a)\in\beta}})\Rightarrow \underset{0}{\underbrace{(a,a)\in\beta}}]\equiv [(1\wedge 1)\Rightarrow 0]\equiv 0$$ yani önerme yanlış yani $\beta$ bağıntısı geçişken değil.