ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F3964 on D4531: Superdigraph
F3964
Formulation 0
Let $G_E = (E, \mathcal{E}_E)$ be a D2696: Digraph.
An D548: Ordered pair $G_X = (X, \mathcal{E}_X)$ is a superdigraph of $G_E$ if and only if
(1) $E \subseteq X$ (D78: Subset)
(2) $\mathcal{E}_E \subseteq \mathcal{E}_X$ (D78: Subset)