theorem Th10: :: WAYBEL13:10

for S being lower-bounded sup-Semilattice holds InclPoset (Ids S) is algebraic