A relation R defined on a set S and having the property that

then it is never the case that

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.