رابطه تعدي (تراگذری، ترایایی، متعدی)
رای دهی: 4 / 5
به نام خدا
الـهم صل علی محمد و آل محمد
5. تعريف رابطه‌ی متعدي ( تراگذري، ترايايي ):
گوييم رابطه‌ی R روي مجموعهاي مانند A « متعدي » است اگر و تنها اگر براي هر a و b و c از A ، اگر 
و 
در R باشند، آنگاه 
نيز در R باشد. يعني :
روي A متعدي است
روي A متعدي است
مثال 6 : هر يك از رابطههاي زير يك رابطهي متعدي روي مجموعهي A ( معرفي شده در مثال 1 ) مي باشند :
