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

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