Definition Anti-Symmetry A relation is antisymmetric if whenever an element is in relation with an element and vice versa, then .