Sea formula_1 una relación antisimétrica aplicada sobre un conjunto formula_2, entonces formula_1 tiene una representación particular para cada forma de describir una relación binaria.