theorem Th40: :: TOPS_1:40

for GX being TopStruct
for T being Subset of GX holds Int T = T \ (Fr T)