Interface that encapsulates a property that is symmetric, i.e. one in which if p(x, y) holds, thenp(y, x) must also hold.
p(x, y)
p(y, x)