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

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

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