:: deftheorem defines ROUGH MMLQUERY:def 26 :
for X being set
for A being FinSequence of bool X holds ROUGH A = ROUGH (A,(max# A));