theorem :: ROUGHS_1:21

for A being Tolerance_Space holds UAp ([#] A) = [#] A