Eine Relation ist antisymmetrisch, wenn für alle voneinander verschiedenen X und Y gilt, dass nicht sowohl (X Y) als auch (Y X) beide in der Relation enthalten sind. Im Umkehrschluss gilt für eine antisymmetrische Relation, dass wenn (X Y) und (Y X) beide in der Relation enthalten sind, dann X = Y gilt.