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