Um digrafo H é subdigrafo de um digrafo G se todo vértice de H é vértice de G  e  todo arco de H é arco de G.

Um subdigrafo de um digrafo G é próprio se for diferente de G.

Um subdigrafo de um digrafo G é gerador  (= spanning)  se contém todos os vértices de G.

Dado um conjunto X de vértices de um digrafo G, o subdigrafo de G  induzido por X  é o subdigrafo formado por X e por todos os arcos de G que têm ambas as pontas em X.

Um subdigrafo de um digrafo simétrico não é necessariamente simétrico.  Portanto, um subdigrafo de um grafo não é necessariamente um grafo.

Um subgrafo (= subgraph)  de um grafo G é qualquer grafo H que seja subdigrafo de G.