Транзитивность

Транзити́вность (от лат. transitivus – переходный), свойство бинарных отношений, выражающее их «переносимость» с одних пар объектов на другие. Точнее, отношение ${\displaystyle R}$ называется транзитивным, если для любых объектов ${\displaystyle x,y,z}$ из ${\displaystyle xRy}$ и ${\displaystyle yRz}$ следует ${\displaystyle xRz}$. Наиболее важные классы транзитивных отношений – отношения типа равенств (эквивалентности) и отношения порядка.