f er maksflyt i G Restnettet har ingen forøkende stier ( Forøkende sti - Augmenting Path ) ∣f∣=c(S,T) for minst ett ST-snitt. Snittet hvor ∣f∣=c(S,T) kalles det minimale snittet.