theorem Th61: :: INTERVA1:61

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