Let $R$ be a symmetric and transitive relation on a set $A$. Then
Gatecse
I'll write a post on how to best...