1. er maksflyt i G
  2. Restnettet har ingen forøkende stier ( Forøkende sti - Augmenting Path )
  3. for minst ett ST-snitt.

Snittet hvor kalles det minimale snittet.