Eine Relation R {\displaystyle {}R} auf einer Menge M {\displaystyle {}M} heißt symmetrisch, wenn aus x R y {\displaystyle {}xRy} stets y R x {\displaystyle {}yRx} folgt.
