در یک R روی X موقعی (به : ) است که برای همه عناصر a, b، c در X، اگر a با b توسط R رابطه داشته باشد و همچنین این رابطه b را به c مرتبط کند، آنوقت رابطه R باید حتماً a را به c مرتبط کند.
 ویژگی ترایابودن یکی از ویژگی‌های کلیدی در و است.
 ترایایی یا تعدی‌پذیری مانند و یکی از ویژگی‌های برخی از رابطه‌ها است. 
یک رابطهٔ ترایا، بازتابی و متقارن را می‌گویند. به که یک رابطهٔ ترایا را روی رأس‌هایش نمایش دهد می‌گویند. 
 به می‌توان نوشت:
{"title": "رابطه ترایا", "link": "https://fa.wikipedia.org//w/index.php?title=%D8%B1%D8%A7%D8%A8%D8%B7%D9%87_%D8%AA%D8%B1%D8%A7%DB%8C%D8%A7&oldid=31312401", "language": "fa"}