for T being TopStruct
for M being Subset of T
for F being Subset-Family of T st F is closed holds
F | M is closed