一个覆盖 的细化 是一个覆盖，使得每个元素 是一个元素 的子集。
更多尝试
Weisstein, Eric W. "细化。" 来自 网络资源。 https://mathworld.net.cn/Refinement.html
的细化 
是一个覆盖，使得每个元素 
是一个元素 
的子集。
主题
主题
主题
的细化 是一个覆盖，使得每个元素 是一个元素 的子集。