Un digrafo o grafo dirigido es un grafo en el cual las aristas están dirigidas (y se acostumbra llamarles arcos). Es decir, la relación entre dos vértices adyacentes no necesariamente es simétrica (por ejemplo, "hijo de"). La metáfora básica para este tipo de relaciones no simétricas es la de dominancia: si hay un arco que va de $a$ a $b$ (relación que se denota a veces como $a\rightarrow b$) entonces se dice que $a$ domina a $b$.
