| krawędź residualna: || Jeśli dostępna jest przepustowość mamy krawędź residualną |- | krawędź residualna (odwrotna): || Możemy przesyłać przepływ w obu kierunkach. |- | graf residualny: || Zestaw krawędzi residualnych formuje graf residualny. |- | poprawne etykietowanie ("legal labelling"): || Dla krawędzi residualnych operację push możemy wykonywać jedynie na wierzchołkach. |- | nadmiar(u): || Suma przepływu wpływającego do i opuszczającego |- | wysokość(u): || Każdemu wierzchołkowi przypisana jest konkretna wysokość. Dla wartości wysokość służy do oszacowania odległości do ujścia Dla wartości wysokość służy do oszacowania odległości z powrotem do źródła

Można zaobserwować, że najdłuższa możliwa ścieżka z do ma długość wierzchołków. Stąd musi być możliwe, aby przypisać wysokość do wierzchołków dla każdego prawidłowego przepływu i a jeśli występuje przepływ dodatni z do W odróżnieniu od algorytmu Forda-Fulkersona, przepływ przez sieć nie musi być przepływem prawidłowym przez cały czas trwania algorytmu.