En binær relasjon definert for to elementer regnes å være symmetrisk dersom det er slik at hvis a er relatert til b, så er b også relatert til a.