Отношение транзитивности.
Отношение называется транзитивным, если и только если из наличия этого
отношения между Х и Y, а также между Y и Z, следует его наличие между X
и Z. Пример:"Москва больше Минска, Минск больше Бреста, следовательно,
Москва больше Бреста". Однако отношения
"любить","ненавидеть","зависеть","владеть" не обладают свойством
транзитивности. Пример:"Каренин любил Анну","Анна любила Вронского" не
позволяет сделать вывод "Каренин любил Вронского".
(Берков, Яскевич, Павлюкевич,"Логика для ВУЗов",
Минск,"ТетраСистемс",1996 год.)