for L being lower-bounded sup-Semilattice holds Top (InclPoset (Aux L)) = IntRel L