Định lý về đặc trưng qua tập đóng của tập compact
Định lý tập compact đặc trưng qua tập đóng là một phát biểu định lý trong ngành tô pô học: "Nếu một họ các tập con đóng có tính giao hữu hạn bất kì có phần giao khác formula_1 thì không gian là compact".

Cho formula_2 là không gian tôpô.

Cho formula_3, formula_4 là một họ các tập con của formula_2.
hay với formula_9

Giả sử formula_2 có đặc trưng trên.
