Si existe un camino compuesto de uno o más arcos que una "x" con "y", entonces a "y" se le denomina sucesor de "x", al igual que a "x" se le denomina predecesor de "y".