Soru: E = {p, q, r} kümesi üzerinde V = {(p,p), (q,q), (r,r), (p,q), (q,r), (p,r)} bağıntısı geçişme özelliğini sağlar mı? Neden?
Çözüm: Tüm geçiş durumlarını inceleyelim:
- (p,q) ∈ V ve (q,r) ∈ V → (p,r) ∈ V (sağlanır)
- (p,p) ∈ V ve (p,q) ∈ V → (p,q) ∈ V (sağlanır)
- (p,p) ∈ V ve (p,r) ∈ V → (p,r) ∈ V (sağlanır)
- (q,q) ∈ V ve (q,r) ∈ V → (q,r) ∈ V (sağlanır)
Diğer durumlar için geçişme sağlanır.
Sonuç: Evet, bu bağıntı geçişme özelliğini sağlar çünkü tüm (a,b) ve (b,c) çiftleri için (a,c) bağıntıda bulunuyor.
