Gerçekten temel set kuramıdır. Dönüşlü ilişkinin, simetrik ilişkinin ve geçişli ilişkinin ne olduğunu biliyorsunuz, değil mi? Eşdeğerlik ilişkisi, bu özelliklerin üçünü de karşılayan ilişkidir.
Muhtemelen bir ilişki içinde "Geçişli kapatılması" duymuş ? Şey, R'yi içeren en az geçişli ilişkiden başka bir şey değildir . "Kapanış" terimi budur. Benzer şekilde, bir ilişki içinde "simetrik kapatılması" hakkında konuşabilirsiniz Ar , bir ilişki içinde "dönüşlü kapatma" Ar ve ilişki içinde "denklik kapatma" R tamamen aynı şekilde.R,R,R,R,R,
Bazı düşünce ile, kendinizi ikna edebilir geçişli kapanması o ise R ∪ R 2 ∪ R 3 ∪ ... . Simetrik kapatma R ∪ R - 1'dir . Dönüşlü kapaktır R ∪ I (burada bir kimlik ilişkidir). R,R ∪ R2∪ R3∪ …R ∪ R- 1R ∪ Iben
Biz notasyonu kullanmak için ben ∪ R ∪ R 2 ∪ ... . Bu dönüşlü geçişli kapanma arasında R . Eğer Şimdi ihbar R simetriktir, ilişkilerin her ben , R , R 2 , R 3 , ... simetriktir. Dolayısıyla R ∗ simetrik de olacaktır.R,*ben∪ R ∪ R2∪ …R,R,benR,R,2R,3R,*
Eşdeğerlilik kapatma Yani onun simetrik kapatılması, yani geçişli bir kapaktır ( R ∪ R ' - 1 ) * . Bu, bazıları ileri adımlar ( R ) ve bazı geri adımlar ( R - 1 ) olan bir dizi aşamayı temsil eder .R,(R∪R−1)∗RR−1
İlişki denklik kapama bileşik ilişkisi ile aynı ise Church-Rosser özelliğine sahip olduğu söylenir R * ( R ' - 1 ) * . Bu, tüm ileri adımların önce geldiği bir adım dizisini ve ardından tüm geri adımları izler. Bu nedenle, Church-Rosser özelliği, ileri ve geri adımların herhangi bir serpiştirilmesinin, ilk ve geri adımlar daha sonra ileri adımlar atılarak eşzamanlı olarak gerçekleştirilebileceğini söylüyor.RR∗(R−1)∗