theorem Th25: :: ROUGHS_1:25

for A being Tolerance_Space
for X, Y being Subset of A st X c= Y holds
UAp X c= UAp Y