Given flow network G and flow f, an augmenting path p is a simple path from s to t in the residual network Gf.
The minimum net flow along path p in Gf indicates the amount flow can increase along this path in G.
Thus, define the residual capacity of path p as
Define flow fp in Gf as
Define flow sum f1 + f2 as .