theorem :: INTERVA1:63

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