theorem Th65: :: TOPS_3:65

for X being non empty TopSpace
for X0 being non empty SubSpace of X
for A being Subset of X
for B being Subset of X0 st A c= B & B is boundary holds
A is boundary by XBOOLE_1:3, Th56;