:: deftheorem defines c=-monotone ROUGHS_4:def 8 :
for X being set
for f being Function of (bool X),(bool X) holds
( f is c=-monotone iff for A, B being Subset of X st A c= B holds
f . A c= f . B );