Симметричное отношение

отношение, при котором из aRbaRbaRb следует bRabRabRa.

» Глоссарий