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