Một cách khác để định nghĩa một không gian tôpô là sử dụng các tiên đề bao đóng Kuratowski, định nghĩa các tập đóng như là những điểm bất động của một toán tử trên tập mũ của X (tập của các tập con của X).