:: deftheorem Def6 defines SubNetStr YELLOW_6:def 6 :
for S being 1-sorted
for N, b₃ being NetStr over S holds
( b₃ is SubNetStr of N iff ( b₃ is SubRelStr of N & the mapping of b₃ = the mapping of N | the carrier of b₃ ) );