Interface that encapsulates an property that is transitive i.e. one in which if p(x, y) holds, and p(x, z) holds, then p(x, z) must also hold.
p(x, y)
p(x, z)