for X being Tolerance_Space
for A being RoughSet of X ex B, C being Subset of X st A = [B,C]