theorem :: WAYBEL_5:5

for L being complete Semilattice st SupMap L is infs-preserving & SupMap L is sups-preserving holds
SupMap L is upper_adjoint