:: deftheorem defines . WAYBEL_0:def 8 :
for L being non empty 1-sorted
for N being non empty NetStr over L
for i being Element of N holds N . i = the mapping of N . i;