Let be the space of infinitely differentiable functions . Let be the input, be the output. A diagram is a graph built up from vertices and others chosen from
which are connected by directed edges, drawn as arrows.
(1) is the input and is the output. The vertices and have degree one; whereas all other vertices have degree two or three with one or two arrows pointing into the vertex, and one or two pointing out.
(2) The graph is simple, so there are no loops or multiple edges. All the vertices lie on some directed path consisting of consecutive arrows from to .
(3) If the diagram contains a circuit, then we say that there is feedback.