metrization meaning in English

度量化
引入度量

A sufficient and necessary condition for metrization of a de morgan algebra of uniformity
德摩根一致代数可度量化的一个充要条件
On the other hand , locally finite families introduced by p . alexandroff in 1924 have played a fundamental role in the research of metrization problem and paracompact property . research of space with - locally finite networks betters understanding of metric property ' s essence . hereditarily closure - preserving families introduced by n . lasnev in 1966 ties up locally finite families
Alexandroff引入的局部有限集族( locallyfinitefamilies )已在度量化问题及仿紧性的研究中起着不可替代的作用，对于具有局部有限网络空间的探索更加深了人们对度量性的本质了解， 1966年n