theorem Th9: :: WAYBEL32:9

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