for L being lower-bounded continuous sup-Semilattice holds SupMap L is upper_adjoint