theorem :: WAYBEL_5:3

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