Hợp hữu hạn của các tập mở có mở không? Làm thế nào chúng ta có thể chứng minh hoặc bác bỏ điều đó (tất cả các tập hợp đều là tập con của 'R')?
Có thể chứng minh được tập G con của X là tập mở nếu X-G đóng không?