for S being non empty 1-sorted
for N being non empty NetStr over S
for X being set st rng the mapping of N c= X holds
N is_eventually_in X