for T being non empty TopSpace
for N being constant net of T holds the_value_of N in Lim N