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