for T being TopStruct
for M being Subset of T
for F, G being Subset-Family of T st F c= G holds
F | M c= G | M