
_START_ARTICLE_
覆盖 (拓扑学)
_START_SECTION_
精细
_START_PARAGRAPH_
的覆盖 的精细（或称加细）是  的新覆盖 ，使得在 中的任意的一个集合，都包含在 的某个集合中。_NEWLINE_用符号来说，有 覆盖 、  ，如果对任意的 ，都存在某个 使得 ，我们则说 是覆盖 的精细。_NEWLINE_所有子覆盖也是精细，反之不然。但是注意一般的说精细将比原始覆盖有更多的集合。