:: deftheorem defines bottom-preserving WAYBEL34:def 16 :
for S, T being non empty RelStr
for f being Function of S,T holds
( f is bottom-preserving iff f preserves_sup_of {} S );