*定義 [#n552a1cc] A subset family F of a topological space X is called compact-finite if every compact set in X is included in at most finitely many member of F.
*定義 [#n552a1cc] A subset family F of a topological space X is called compact-finite if every compact set in X is included in at most finitely many member of F.