In graph theory, the graph

G_f = (V,E_f)

is defined as the residual graph relative to f, where E_f is the set of residual edges. A path

from the source s to the sink t is called an augmented path of f. This path can be used to increase the flow from s to t.