Go backward to Overview
Go up to Top
Go forward to Partial Order
Definition: A binary relation is antisymmetric, if different elements are not mutually related.
R is antisymmetric on S : <=> forall x in S, y in S: (<x, y> in R /\ <y, x> in R) => x = y.
Example: the following relation is not antisymmetric: