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