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