Este documento describe diferentes tipos de relaciones binarias, incluyendo relaciones simétricas, antisimétricas y transitivas. Una relación es simétrica si x está relacionado con y implica que y también está relacionado con x. Una relación es antisimétrica si x está relacionado con y excluye que y esté relacionado con x. Una relación es transitiva si si x está relacionado con y y y está relacionado con z, entonces x está relacionado con z.