Legyen adott egy H halmaz és egy ezen a halmazon értelmezett R reláció, valamint tegyük fel, hogy a és b a H halmaz tetszőleges, de egymástól különböző elemei – azaz a\neq b. Ha minden ilyen esetben aRb és bRa közül legfeljebb az egyik teljesül, akkor azt mondjuk, hogy az R reláció antiszimmetrikus.