Szimmetrikus reláció

Legyen adott egy S halmaz és egy ezen a halmazon értelmezett R reláció, valamint tegyük fel, hogy a és b az S halmaz tetszőleges elemei. Ha minden ilyen esetben aRb teljesülése esetén bRa is teljesül, akkor azt mondjuk, hogy az R reláció szimmetrikus.

♣