I write for the node you reach from node in one step. If node points to node , then . This notation comes from viewing the graph as a function. The graph is functional because is a function. Every input has exactly one output.
No node has zero edges or two edges. This notation makes composition natural: means two steps from , written as . In general, means steps from . Powers of let you talk about paths concisely.