Definition:Digraph/Symmetric Digraph

From ProofWiki
Jump to navigation Jump to search


Let $D = \struct {V, E}$ be a digraph such that the relation $E$ in $D$ is symmetric.

Then $D$ is called a symmetric digraph.

It follows from the definition of a (simple) graph that a symmetric digraph is in fact the same thing as an undirected graph.