negative transitivity

Мат. отрицательная транзитивность