Let X be a topological space with a subbasis B. If every cover by elements from B has a finite subcover, then the space is compact. Cho X là một không gian tôpô với một tiền cơ sở B. Nếu mọi phủ từ các phần tử của B có một phủ con hữu hạn, thì không gian là compact.