let f be Function of S,T; :: thesis: ( f is sups-preserving implies f is bottom-preserving )
assume f is sups-preserving ; :: thesis: f is bottom-preserving
hence f preserves_sup_of {} S by WAYBEL_0:def 33; :: according to WAYBEL34:def 16 :: thesis: verum