A Relation on a Set is antisymmetric provided that distinct elements are never both related to one another. In other words and together imply that .