Definition:Graph


 * Graph (Graph Theory): a set of vertices and edges


 * Graph (Category Theory): the same concept as for graph theory but in the context of categories


 * Graph of a Mapping: the relation $\mathcal R = \set {\tuple {x, \map f x}: x \in S}$


 * Graph of a Relation: the truth set of a relation $\mathcal R$ on $S \times T$:
 * $\map {\mathcal T} {\mathcal R} = \set {\tuple {s, t}: s \mathrel {\mathcal R} t}$