If ( is a relation): is antisymmetric if for every and from and . Antisymmetric relation is: βless or equal toβ in the real number sets