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