In logic and mathematics, describing a relation that never relates an element to itself; the opposite of a reflexive relation.
From anti- + reflexive (from Latin reflexus, bent back). Formal logic terminology developed in symbolic logic.
Try Another Word