Un grafo consiste en dos conjuntos, un conjunto de flechas y un conjunto de vértices, y dos funciones entre esos conjuntos, asignando a cada flecha su vértices inicial y final.