Definition:Successor Vertex