theorem :: ROUGHS_1:61

for A being Tolerance_Space
for X, Y, Z being Subset of A st X _c=^ Y & Y _c=^ Z holds
X _c=^ Z by Th60, Th59;