A relation R defined on a set S and having the property
that
whenever x R y
then it is never the case that
y R x
where x and y are arbitrary elements of S. The usual "is less than" ordering
defined on the integers is an asymmetric relation. See also antisymmetric
relation, symmetric relation.
