:: deftheorem defines /\-preserving ROUGHS_4:def 10 :
for X being set
for f being Function of (bool X),(bool X) holds
( f is /\-preserving iff for A, B being Subset of X holds f . (A /\ B) = (f . A) /\ (f . B) );