(完备)平凡可度量映射
completely) trivially metrizable map
4次完备阶
fourth-order completeness
Dedekind-MacNeille完备化
Dedekind-MacNeille Completion
u0-r完备Archimedean型向量格
u0-r complete Archimedean vector lattice
u0-r完备的Archimedean型向量格
u0-r complete Archimedean vector lattice
ZS-相容完备偏序集
ZS-consistent Complete Poset
Z-并完备子集系统
Z union Complete Subset System