:: deftheorem defines .flow GLIB_005:def 3 :
for G being _finite real-weighted WGraph
for EL being FF:ELabeling of G
for source, sink being set holds EL .flow (source,sink) = (Sum (EL | (G .edgesInto {sink}))) - (Sum (EL | (G .edgesOutOf {sink})));