theorem Th18: :: ROUGHS_1:18

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