\begin{definition}[Definition:Network]
A '''network''' $N = \struct {G, w}$ is:
:a graph or digraph $G = \struct {V, E}$
together with:
:a mapping $w: E \to \R$ from the edge set $E$ of $G$ into the set $\R$ of real numbers.
\end{definition}