antisymmetric from FOLDOC

antisymmetric

<mathematics> 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)

Try this search on Wikipedia, OneLook, Google

Nearby terms: Anthony Hoare « anti-aliasing « antichain « antisymmetric » antivirus » antivirus program » antivirus software