:: deftheorem Def7 defines full YELLOW_6:def 7 :
for S being 1-sorted
for N being NetStr over S
for M being SubNetStr of N holds
( M is full iff M is full SubRelStr of N );