(от лат. transitivus - переходный), одно из свойств логического отношения величин. Отношение а * b называется транзитивным, если из а * b и b * c вытекает, что а * c . Например , отношение равенства ( а b ) транзитивно, так как из а b и b с вытекает а с . Аналогично, транзитивным является отношение < < a больше b > > ( а > b ).