A Sufficient and Necessary Condition for Metrization of a de Morgan Algebra of Uniformity

• 德摩根一致代数可度量化的一个充要条件