theorem Th8: :: ROUGHS_1:8

for A being Tolerance_Space
for X being Subset of A
for x being object st x in LAp X holds
Class ( the InternalRel of A,x) c= X