:: deftheorem defines sups-preserving WAYBEL_0:def 33 :
for L1, L2 being non empty RelStr
for f being Function of L1,L2 holds
( f is sups-preserving iff for X being Subset of L1 holds f preserves_sup_of X );