theorem :: WAYBEL13:33

for L being lower-bounded continuous sup-Semilattice holds
( SupMap L is infs-preserving & SupMap L is sups-preserving ) by WAYBEL_1:12, WAYBEL_1:57, WAYBEL_5:3;