theorem Th10: :: CANTOR_1:10

for X being set
for R being non empty Subset-Family of (bool X)
for F being Subset-Family of X st F = { (Intersect x) where x is Element of R : verum } holds
Intersect F = Intersect (union R)