for R being /\-complete Semilattice
for N being reflexive monotone net of R holds lim_inf N = sup N