En matemáticas y ciencias de la computación, un grafo (del griego grafos: dibujo, imagen) es un conjunto de objetos llamados vértices o nodos unidos por enlaces llamados aristas o arcos, que permiten representar relaciones binarias entre elementos de un conjunto.
En teoría de grafos, el grafo nulo es un grafo trivial que no tiene vértices ni aristas. En teoría de categorías, el grafo nulo es el objeto inicial de la categoría de los grafos.