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