Soru: C = {a, b, c} kümesi üzerinde T = {(a,a), (b,b), (c,c), (a,b), (b,c), (a,c)} bağıntısı veriliyor. Bu bağıntı geçişme özelliğini sağlar mı?
Çözüm: Tüm olası çiftleri kontrol edelim:
- (a,b) ∈ T ve (b,c) ∈ T → (a,c) ∈ T (sağlanır)
- (a,a) ∈ T ve (a,b) ∈ T → (a,b) ∈ T (sağlanır)
- (a,a) ∈ T ve (a,c) ∈ T → (a,c) ∈ T (sağlanır)
- (b,b) ∈ T ve (b,c) ∈ T → (b,c) ∈ T (sağlanır)
Diğer durumlar için geçişme otomatik sağlanır.
Sonuç: Evet, bu bağıntı geçişme özelliğini sağlar.
