theorem Th64: :: INTERVA1:64

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