theorem Th19: :: TOPS_1:19

for GX being TopStruct
for T, W being Subset of GX st T c= W holds
Int T c= Int W