for GX being TopStruct
for R being Subset of GX st R is closed holds
Fr R c= R