theorem Th18: :: WAYBEL16:18

for L being upper-bounded Semilattice holds InclPoset (Filt L) is complete