theorem Th16: :: TOPS_1:16

for GX being TopStruct
for T being Subset of GX holds Int T c= T