Definition: Graph

A graph consists of a set and a collection of unordered pairs of elements of :

  • The elements of are called vertices or nodes;
  • The elements of are called edges or branches.