:: deftheorem defines intensive ROUGHS_4:def 6 :
for X being set
for f being Function of (bool X),(bool X) holds
( f is intensive iff for A being Subset of X holds f . A c= A );