13.4. Definíció

Szimmetrikus reláció

Legyen adott egy SS halmaz és egy ezen a halmazon értelmezett RR reláció, valamint tegyük fel, hogy aa és bb az SS halmaz tetszőleges elemei. Ha minden ilyen esetben aRbaRb teljesülése esetén bRabRa is teljesül, akkor azt mondjuk, hogy az RR reláció szimmetrikus.