Ein Knoten j wird als Nachfolger eines anderen Knotens i in einem gerichteten Graphen G=(V,E) bezeichnet, wenn ein Pfeil (i,j) in der Pfeilmenge E enthalten ist. In ungerichteten Graphen sprechen wir bei einer Kante [i,j] davon, dass i und j Nachbarn sind.