一個覆蓋 的細化 是一個覆蓋，使得每個元素 是一個元素 的子集。
更多嘗試
Weisstein, Eric W. "細化。" 來自 網路資源。 https://mathworld.tw/Refinement.html
的細化 
是一個覆蓋，使得每個元素 
是一個元素 
的子集。
主題
主題
主題
的細化 是一個覆蓋，使得每個元素 是一個元素 的子集。