Una relación binaria "R" sobre un conjunto "A", es simétrica cuando se da que si un elemento está relacionado con otro mediante "R", entonces ese otro también está relacionado con él, a través de la misma "R".