for A being Tolerance_Space holds UAp ({} A) = {}