Транзитивность (от лат. transitivus — переходный), одно из свойств логического отношения величин. Отношение а * b называется транзитивным, если из а * b и b * c вытекает, что а * c. Например, отношение равенства (а = b) транзитивно, так как из а = b и b = с вытекает а = с. Аналогично, транзитивным является отношение  "a больше b" (а > b). Отношение же "a не равно b"  не транзитивно, так как из "a не равно b" и "b не равно c" ещё не вытекает "a не равно c" . В геометрии транзитивным является отношение параллельности между двумя прямыми (если a параллельна b, а b параллельна g, то и a параллельна g), отношение же перпендикулярности прямых не транзитивно.  БСЭ