theorem Th65: :: INTERVA1:65

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