Большая Советская энциклопедия - транзитивность

(от лат. transitivus — переходный)

одно из свойств логического отношения величин. Отношение а * b называется транзитивным, если из а * b и b * c вытекает, что а * c. Например, отношение равенства (а = b) транзитивно, так как из а = b и b = с вытекает а = с. Аналогично, транзитивным является отношение (а > b). Отношение же (a ≠ b) не транзитивно, так как из a ≠ b и b ≠ c ещё не вытекает a ≠ c. В геометрии транзитивным является отношение параллельности между двумя прямыми (если α параллельна β, а β параллельна γ, то и α параллельна γ), отношение же перпендикулярности прямых не транзитивно.

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978