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