Отношение транзитивное — отношение, для которого из того, что пары (А, В) и (В, С) находятся в этом отношении, всегда следует, что в этом же отношении находится пара (А, С). Если это свойство не выполняется хотя бы для одной тройки элементов, то отношение называется нетранзитивным, а если не выполняется ни для какой тройки элементов, то — антитранзитивным. Примером транзитивного отношения может служить отношение «быть старше».
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]