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.



< Previous Terms Terms Containing antisymmetric Next Terms >
ANSI X12
ANSI Z39.50
Anthony Hoare
anti-aliasing
antichain
antisymmetric
partial ordering
pre-order
relation
symmetric
antivirus software
ANTLR
ANU
ANU ML
any key