:: deftheorem defines Flow NET_1:def 1 :
for P being PT_net_Str holds Flow P = the S-T_Arcs of P \/ the T-S_Arcs of P;