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