compact하다는게 유한개의 open set의 합집합이 subset이나 전체공간을 포함하면 되는거임??


그 open set은 finite라는 조건은 없는거지?