If ( is a relation):

is antisymmetric if for every and from and .

Antisymmetric relation is:

  • “less or equal to” in the real number sets