Транзитивное отношение

Транзитивное отношение (Transitive relation) — отношение [math]\displaystyle{ \,R }[/math], определенное на множестве [math]\displaystyle{ \,S }[/math] и обладающее тем свойством, что для всех [math]\displaystyle{ \,x }[/math], [math]\displaystyle{ \,y }[/math] и [math]\displaystyle{ \,z }[/math] из [math]\displaystyle{ \,S }[/math] справедливо [math]\displaystyle{ xRy }[/math] и [math]\displaystyle{ yRz \Rightarrow xRz. }[/math] Отношения "меньше, чем", определенное на множестве целых чисел, и "является подмножеством", определенное среди множеств, являются транзитивными.

Словарь

• Толковый словарь по вычислительным системам. — М.: Машиностроение, 1991.