Asymmetric relation

From Wikipedia, the free encyclopedia

Asymmetric often means, simply: not symmetric. In this sense an asymmetric relation is a binary relation which is not a symmetric relation.

In some texts the word is given the following stronger definition. A relation R on X is asymmetric in the following sense.

  • If, for all a and b in X, if a is related to b, then b is not related to a.

In mathematical notation, this is:

\forall a, b \in X,\ a R b \; \Rightarrow \lnot(b R a).

Being asymmetric in this sense is the same as being both antisymmetric and irreflexive.

For a transitive relation asymmetry is equivalent with irreflexivity.

Asymmetry in the second sense implies asymmetry in the first sense, but the reverse implication does not hold. Empty relations are, vacuously, both asymmetric (in the second sense only) and symmetric.


[edit] See also