Definition:Graph Functor

Definition
Let $\mathbf{Set}$ and $\mathbf{Rel}$ be the category of sets and the category of relations, respectively.

The graph functor $G: \mathbf{Set} \to \mathbf{Rel}$ is defined by:

That it is in fact a functor is shown on Graph Functor is Functor.