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

Транзитивное отношение (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\mbox{ и }yRz \Rightarrow xRz. }[/math] Отношения "меньше, чем", определенное на множестве целых чисел, и "является подмножеством", определенное среди множеств, являются транзитивными.

Словарь

[Словарь]