theorem Th13: :: ROUGHS_1:13

for A being Tolerance_Space
for X being Subset of A holds X c= UAp X