theorem Th20: :: ROUGHS_1:20

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