If ( is a relation):

is antisymmetric if for every and from and .

Antisymmetric relation is:

  • β€œless or equal to” in the real number sets