Using de Morgan's laws, the above axioms defining open sets become axioms defining closed sets: The empty set and X are closed.
Ví dụ, sử dụng các định luật de Morgan, các tiên đề định nghĩa tập mở trở thành các tiên đề định nghĩa các tập đóng: Tập trống và X là đóng.