User:Scshunt/Incidence Function Defines Graph

Theorem

Let $V, E$ be sets.

Let $\phi : V \to E$ be a graph incidence function.

Then there exists a set $V'$ and a graph $G = \left({V, E'}\right)$ such that $\phi$ is isomorphic to the incidence function of $G$.