theorem :: MSSUBFAM:9

for I being set
for sf being Subset-Family of I
for v being Subset of I st sf = {v} holds
Intersect sf = v