theorem :: YELLOW19:30

for T being non empty TopSpace
for F being Subset-Family of T st F is closed holds
FinMeetCl F is closed