完备完全分配格
complete completely distributive lattice
弱完全对偶形式演绎系统WCL-*
weak completely dual formal system WC L
右弱完全右p序半群
right weak complete right pordered semigroups
(完备)平凡可度量映射
completely) trivially metrizable map
4次完备阶
fourth-order completeness
Dedekind-MacNeille完备化
Dedekind-MacNeille Completion