for L being lower-bounded up-complete LATTICE st SupMap L is upper_adjoint holds
L is continuous