for I being set
for sf being Subset-Family of I st sf <> {} holds
Intersect sf c= union sf