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