Infinite intersection of compact sets July 8, 2019 16 32 64 128 Infinite intersection of compact sets is nonempty Compact subsets of metric spaces are closed