for GX being TopStruct
for R being Subset of GX st R is closed_condensed holds
Fr (Int R) = Fr R ;