raffinamento
raffinaménto [Der. di raffinare, e questo da fine] [ALG] Nella topologia generale, per un ricoprimento α di un insieme X è un ricoprimento β di X tale che ciascuno degli insiemi che costituiscono β è contenuto in uno degli insiemi che costituiscono α. ◆ [FTC] Nella tecnica, sinon., non comune, di raffinazione.