theorem Th19: :: PRE_TOPC:19

for T being TopStruct
for A, B being Subset of T st A c= B holds
Cl A c= Cl B