theorem Th24: :: ROUGHS_1:24

for A being Tolerance_Space
for X, Y being Subset of A st X c= Y holds
LAp X c= LAp Y