*定義 [#m293cadb]
A subset family F of a topological space X is called star-finite if every member of F meets at most finitely many members of F.