theorem Th56: :: MEASURE6:56

for Z being Subset-Family of REAL st Z is closed holds
meet Z is closed