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