1. матем. свойство отношения, наличие которого между элементами (a, b) и элементами (b, c) исключает возможность наличия этого же отношения между элементами (a, c)

Источник: Wiktionary.org