theorem Th11: :: TOPS_3:11

for X being TopSpace
for A, B being Subset of X st B is boundary & A c= B holds
A is boundary by TOPS_1:19, XBOOLE_1:3;