theorem :: ROUGHS_1:32

for A being Tolerance_Space
for X being Subset of A holds BndAp X = BndAp (X `)