Hence R is symmetric. (aRc ∧ bRc) → aRb = (aRc ∧ cRb) → aRb.
Ως εκ τούτου, η R είναι συμμετρική (ARC ∧ BRC) → aRb = (ARC ∧ CRB) → ARB.