theorem :: WAYBEL_5:4

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