for all x and y, x R y and y R x => x == y.I.e. no two different elements are mutually related. Partial orders and total orders are antisymmetric. If R is also symmetric, i.e.
x R y => y R xthen
x R y => x == yI.e. different elements are not related.
Last updated: 1995-04-18