for T being TopStruct
for F, G being Subset-Family of T st F is closed holds
F \ G is closed