βoβ⊆β olsun. Amacımız βbağıntısının geçişken olduğunu göstermek.β bağıntısının geçişken olduğunu göstermek içinde (x,y) ∈β ve (y,z)∈β (x,z)∈β olduğunu göstermek
(x,y)∈β ve (y,z)∈β olsun Amacımız (x,z)∈βolduğunu göstermek.