theorem Th6: :: TOPS_2:6

for T being set
for F being Subset-Family of T st F <> {} holds
meet (COMPLEMENT F) = (union F) `