theorem :: FF_SIEC:6

( the carrier of empty_f_net = {} & the carrier' of empty_f_net = {} & Flow empty_f_net = {} )