theorem :: INTERVA1:68

for X being Tolerance_Space
for A, B being RoughSet of X holds A _/\_ (A _\/_ B) = A by XBOOLE_1:21;