رابطه ترایا

در ریاضیات یک رابطه همگن R روی مجموعه X موقعی ترایا[ ۱] ( به انگلیسی: transitive relation ) است که برای همه عناصر a, b، c در X، اگر a با b توسط R رابطه داشته باشد و همچنین این رابطه b را به c مرتبط کند، آنوقت رابطه R باید حتماً a را به c مرتبط کند.
ویژگی ترایابودن یکی از ویژگی های کلیدی در ترتیب جزئی و رابطه هم ارزی است.
ترایایی یا تعدی پذیری مانند بازتاب و تقارن یکی از ویژگی های برخی از رابطه ها است. [ ۲] یک رابطهٔ ترایا، بازتابی و متقارن را رابطهٔ هم ارزی می گویند. [ ۳] به گراف سودار ی که یک رابطهٔ ترایا را روی رأس هایش نمایش دهد گراف سودار ترایا می گویند. [ ۴]
به زبان صوری می توان نوشت: ∀ a , b , c ∈ X : ( a R b ∧ b R c ) ⇒ a R c