ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Binary cartesian set product
Binary relation
Binary endorelation
Digraph
Definition D2771
Graph-generated digraph
Formulation 1
Let $G = (X, \mathcal{E})$ be a D778: Graph.
The generated digraph for $G$ is the D2696: Digraph \begin{equation} (X, \{ (x, y) : \{ x, y \} \in \mathcal{E} \}) \end{equation}