Desde un punto de vista puramente abstracto, una gráfica es una pareja 
que consiste de N nodos
y L ligas. Los nodos son justo un conjunto regularmente formado por enteros
positivos de 0 hasta n-1 y las ligas son un subconjunto de 
.
Los nodos son proyectados como puntos frecuentemente etiquetados por los miembros del
conjunto N, las ligas son representadas por flechas uniendo los nodos, la flecha
corre del nodo i hasta el nodo j si 
. Nótese que no es necesario que ambos 
y 
correspondan a L, ni que 
corresponda o no corresponda. Este es un problema
clásico en teoría de gráficas para saber si una gráfica puede ser dibujada en dos
dimensiones además de que sus ligas no se deben mezclar.