If a path leads from x to y, then y is said to be a successor of x and reachable from x, and x is said to be a predecessor of y.
Dacă un drum duce de la x la y, atunci y este declarat a fi un succesor al lui x și accesibil din x, iar x este declarat a fi un predecesor al lui y.