网 满足以下条件的三元组N=(S,T;F)N=(S, T; F)N=(S,T;F)被称为网: (1) S∪T≠∅;S \cup T \neq ∅;S∪T=∅; (2) S∩T=∅;S \cap T = ∅;S∩T=∅; (3) F⊆S×T∪T×S;F ⊆ S × T ∪ T × S;F⊆S×T∪T×S; (4) dom(F)∪cod(F)=S∪T;dom(F ) ∪ cod(F ) = S ∪ T ;dom(F)∪cod(F)=S∪T; 其中,