:: deftheorem Def24 defines ROUGH MMLQUERY:def 24 :
for X being set
for A being FinSequence of bool X
for n being Nat st X <> {} holds
ROUGH (A,n) = { x where x is Element of X : n <= #occurrences (x,A) } ;