(idea) by mps Tue Jul 04 2000 at 4:02:17

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.

I like it!