theorem Th2: :: TOPS_1:2

for GX being TopStruct holds Cl ([#] GX) = [#] GX by PRE_TOPC:18;