for I, G, H being set
for sf being Subset-Family of I st G in sf & G misses H holds
Intersect sf misses H