:: deftheorem defines \/-preserving ROUGHS_4:def 9 :
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) );