:: deftheorem defines f_flow FF_SIEC:def 10 :
for M being Pnet holds f_flow M = (Flow M) \/ (id (Elements M));