set N = Net(# {} ,{} ,{} #);
thus the Places of Net(# {} ,{} ,{} #) /\ the Transitions of Net(# {} ,{} ,{} #) = {} ; :: according to XBOOLE_0:def 7,NET_1:def 1 :: thesis: the Flow of Net(# {} ,{} ,{} #) c= [:the Places of Net(# {} ,{} ,{} #),the Transitions of Net(# {} ,{} ,{} #):] \/ [:the Transitions of Net(# {} ,{} ,{} #),the Places of Net(# {} ,{} ,{} #):]
thus the Flow of Net(# {} ,{} ,{} #) c= [:the Places of Net(# {} ,{} ,{} #),the Transitions of Net(# {} ,{} ,{} #):] \/ [:the Transitions of Net(# {} ,{} ,{} #),the Places of Net(# {} ,{} ,{} #):] by XBOOLE_1:2; :: thesis: verum