S> A relation R iS antiSymmetric if, 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 x then x R y => x == y I.e. different elementS are not related. (1995-04-18)