for T being non empty 1-sorted
for N being constant net of T
for i being Element of N holds N . i = the_value_of N