:: deftheorem defines join-preserving WAYBEL_0:def 35 :
for L1, L2 being non empty RelStr
for f being Function of L1,L2 holds
( f is join-preserving iff for x, y being Element of L1 holds f preserves_sup_of {x,y} );