theorem Th67: :: INTERVA1:67

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