\begin{definition}[Definition:Graph Theory]
'''Graph theory''' is the branch of mathematics concerned with the structure and properties of graphs.
As a (graph-theoretical) graph has the same conceptual definition as a relation, it follows that there is considerable overlap between the fields of graph theory and relation theory.
\end{definition}