for X being set
for A being FinSequence of bool X holds ROUGH (A,1) = Union A