theorem :: INTERVA1:60

for X being Tolerance_Space
for A being RoughSet of X holds A _\/_ A = A ;