Nested compact set의 infinit intersection은 compact이다 (in metric space)


메트릭 스페이스 외의 경우는 몰?루