本质完备类
essentially complete class
本质最小完备类
essentially minimal complete class
完备类空子流形
compelete space-like submanifolds
complete space-like submanifolds
完备完全分配格
complete completely distributive lattice
(完备)平凡可度量映射
completely) trivially metrizable map
4次完备阶
fourth-order completeness
Dedekind-MacNeille完备化
Dedekind-MacNeille Completion
u0-r完备Archimedean型向量格
u0-r complete Archimedean vector lattice