theorem :: INTERVA1:62

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