for L being non empty 1-sorted
for N being non empty NetStr over L holds rng the mapping of N = { (N . i) where i is Element of N : verum }