Predecessor (graph theory)