In set theory, a relation that is reflexive, symmetric, & transitive on a set X is called an equivalence relation on X. SImply put as a graph, reflexive me ans there is a loop, symetric means for every directed edge from v to w, there is also a directed edge from w to v, and transitive means for a directed edge x to y, and y to z, there is also an edge from x to z. |