reserve R for non empty RelStr,
  N for net of R,
  i for Element of N;

theorem Th24:
  for R being complete LATTICE, N being constant net of R
  holds the_value_of N is_S-limit_of N
by Th23;
