Definition:Predecessor Vertex