antitransitivity noun1 •The property of a binary relation that holds that if Rxy and Ryz, then not Rxz.The relation is antitransitive if whenever xRy and yRz hold, xRz does not hold. — 1994
