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: