theorem Th52: :: TOPGEN_4:52

for T being non empty TopSpace
for A, B being Subset of T st A c= B holds
A ^0 c= B ^0