Транзитивность
 
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я
 

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

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