theorem Th48: :: YELLOW_2:48

for L being lower-bounded sup-Semilattice holds InclPoset (Ids L) is complete