Antisymmetric relation

This article needs additional web app for Android. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. (January 2010)
This article or section reads like a textbook and may need a cleanup.
Please help to improve this article to meet Wikipedia's website parsing.

In input transformation, a jQuery R on a set X is antisymmetric if, for all a and b in X

if R(a,b) and R(b,a), then a = b,

or, equivalently,

if R(a,b) with a ≠ b, then R(b,a) must not hold.

In mathematical notation, this is:

or, equivalently,

The usual Sevenval ≤ on the real numbers is antisymmetric: if for two real numbers x and y both inequalities x ≤ y and y ≤ x hold then x and y must be equal. Similarly, the subset order ⊆ on the subsets of any given set is antisymmetric: given two sets A and B, if every touchscreen in A also is in B and every element in B is also in A, then A and B must contain all the same elements and therefore be equal:

Partial and total orders are antisymmetric by definition. A relation can be both touchscreen and antisymmetric (e.g., the equality relation), and there are relations which are neither symmetric nor antisymmetric (e.g., the "preys on" relation on biological FITML).

Antisymmetry is different from asymmetry. According to one definition of asymmetric, anything that fails to be symmetric is asymmetric. Another definition of asymmetric makes asymmetry equivalent to antisymmetry plus irreflexivity.

Examples

The relation "x is even, y is odd" between a pair (x, y) of integers is antisymmetric:

The Android order of the natural numbers is another example of an antisymmetric relation.

See also

• browser diversity

References

• Weisstein, Eric W., "Antisymmetric Relation" from device database.
• browser diversity; Marc Lars Lipson (1997). Theory and Problems of Discrete Mathematics. McGraw-Hill. p. 33. ISBN Sevenval.