FUNDAMENTOS TEORICOS
Una relación binaria es simétrica, si se cumple que un par ordenado (a,b) pertenece a la relación entonces el par (b,a) también pertenece a esa relación:
Para todo par ordenado (a,b) que pertenezca a R, implica que el par (b,a) también pertenece a R, téngase en cuenta que si el par (a,b) no pertenece a la relación el par (b,a) tampoco tiene que pertenecer a esa relación:
No existe ningún par ordenado (a,b) que pertenezca a R y que el par (b,a) no pertenezca a R.


