# Antisymmetric relation

﻿
Antisymmetric relation

In mathematics, a binary relation "R" on a set "X" is antisymmetric if, for all "a" and "b" in "X", if "a" is "R" to "b" and "b" is "R" to "a", then "a" = "b".

In mathematical notation, this is:

:$forall a, b in X, a R b and b R a ; Rightarrow ; a = b$

or equally,

:$forall a, b in X, a R b and a e b Rightarrow lnot b R a.$

Inequalities are antisymmetric, since for numbers "a" and "b", "a ≤ b" and "b ≤ a" if and only if "a = b". The same holds for subsets.

Note that 'antisymmetric' is not the logical negative of 'symmetric' (whereby "aRb" implies "bRa"). (N.B.: Both are properties of relations expressed as universal statements about their members; their logical negations must be existential statements.) Thus, there are relations which are both symmetric 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 species).

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 equality relation = on any given domain.
* The usual order relation ≤ on the real numbers.
* The subset order ⊆ on the subsets of any given set.
* The relation "x" is even, "y" is odd" between a pair ("x", "y") of integers::::

Properties containing antisymmetry

* Partial order - An antisymmetric relation that is also transitive and reflexive.

* Total order - An antisymmetric relation that is also transitive and total.

ee also

* Symmetry in mathematics
* Symmetric relation
* antisymmetry in linguistics
* nonsymmetric relation
* asymmetric relation

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Antisymmetric — In set theory, the adjective antisymmetric usually refers to an antisymmetric relation.The term antisymmetric function is sometimes used for odd function, although some meanings of antisymmetric are essentiality f ( y , x ) = − f ( x , y ). In… …   Wikipedia

• Relation algebra — is different from relational algebra, a framework developed by Edgar Codd in 1970 for relational databases. In mathematics, a relation algebra is a residuated Boolean algebra supporting an involutary unary operation called converse. The… …   Wikipedia

• Relation (mathematics) — This article sets out the set theoretic notion of relation. For a more elementary point of view, see binary relations and triadic relations. : For a more combinatorial viewpoint, see theory of relations. In mathematics, especially set theory, and …   Wikipedia

• antisymmetric — adjective Date: 1923 relating to or being a relation (as “is a subset of”) that implies equality of any two quantities for which it holds in both directions < the relation R is antisymmetric if aRb and bRa implies a = b > …   New Collegiate Dictionary

• antisymmetric — I. | ̷ ̷(ˌ) ̷ ̷ ̷ ̷| adjective Etymology: anti (I) + symmetric of a square matrix or a tensor : having the sign of every element or component changed by the interchange of any two indices of that element or component II. adjective 1. : relating… …   Useful english dictionary

• relation — Philosophically relations are interesting because of the historic prejudice, given its most forceful expression by Leibniz, that they are somehow ‘unreal’ compared to the intrinsic, monadic properties of things. A way of putting the idea is that… …   Philosophy dictionary

• antisymmetric — A relation is antisymmetric if whenever R xy, and R yx, then x = y …   Philosophy dictionary

• antisymmetric — /an tee si me trik, an tuy /, adj. Math. noting a relation in which one element s dependence on a second implies that the second element is not dependent on the first, as the relation greater than. Also, antisymmetrical. [1920 25; ANTI +… …   Universalium

• antisymmetric — adjective Of a relation R on a set S, having the property that for any two distinct elements of S, at least one is not related to the other via R. See Also: symmetric …   Wiktionary

• Binary relation — Relation (mathematics) redirects here. For a more general notion of relation, see Finitary relation. For a more combinatorial viewpoint, see Theory of relations. In mathematics, a binary relation on a set A is a collection of ordered pairs of… …   Wikipedia