A binary relation which is not transitive for any three elements, i.e. a ∼ b and b ∼ c requires that a does not ∼ c. Note that this is a different condition from the relation being non‐transitive which implies that transitivity does not hold for some combination of three elements.