A relation R on a set X is a set of some ordered pairs of .Originally Posted bykodirl

Therefore, you can talk about G=(X,R) as a graph. But since R is symmetric on X you have that xy is in R (that means an edge in this digraph) means that yx is in E(G) too because of symetrry (that means an edge in this digraph).