theorem Th18: :: PRE_TOPC:18

for T being TopStruct
for A being Subset of T holds A c= Cl A