رابطه ترایا

در ریاضیات، بین سه عضو a و b و c از مجموعهٔ A یک رابطهٔ ترایا برقرار است هرگاه بتوان از وجود رابطهٔ دوتایی بین a و b از یک سو، و b و c از سوی دیگر، نتیجه گرفت که a و c نیز دارای همان رابطه هستند. ترایایی یا تعدی پذیری مانند بازتاب و تقارن یکی از ویژگی های برخی از رابطه ها است.یک رابطهٔ ترایا، بازتابی و متقارن را رابطهٔ هم ارزی می گویند. به گراف سودار ی که یک رابطهٔ ترایا را روی رأس هایش نمایش دهد گراف سودار ترایا می گویند.
مجموعه جزئاً مرتب
نتیجه منطقی
ترتیب کامل
رابطه پادمتقارن
به زبان صوری می توان نوشت: ∀ a , b , c ∈ X : ( a R b ∧ b R c ) ⇒ a R c {\displaystyle \forall a,b,c\in X:(aRb\wedge bRc)\Rightarrow aRc} یا به صورت کوتاه تر R ; R ⊆ R {\displaystyle R;R\subseteq R}