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