theorem Th34: :: TOPS_1:34

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