A contribution to the abstract theory of graphs. A graph G is an ordered pair (V, I), where V is a nonempty collection of vertices and I is a reflexive and symmetric binary relation of adjacency on V. There is a collection of functions that maps ea...
