Una relación binaria formula_1 sobre un conjunto formula_2 es antisimétrica cuando se da que si dos elementos de formula_2 se relacionan entre sí mediante formula_1, entonces estos elementos son iguales.