A relation R on a set S is symmetric iff for every x and y in S, if x R y, then y R x.