User:Scshunt/Graph Defines Incidence Function

Theorem
Let $G = \left({V, E}\right)$ be a Graph.

Let $\phi$ be the incidence function of $G$.

Then $\phi$ is a graph incidence function.