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:

Also see

 * Graph Functor is Functor