metric: state that closed subsets of compact spaces are compact