ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F3966 on D4526: Arrow set

F3966

Formulation 0

Let $G = (X, \mathcal{E})$ be a D2696: Digraph.
Then $\mathcal{E}$ is the arrow set in $G$.