完备加细半格
perfectly refined semilattice
完备下半格
sigma complete lower semilattice
完备Brouwerian格
complete Brouwerian lattice
完备格同构
complete lattice isomorphism
complete lattices isomorphic
完备完全分配格
complete completely distributive lattice
自由并完备格
free join-complete lattice
(完备)平凡可度量映射
completely) trivially metrizable map
4次完备阶
fourth-order completeness
Dedekind-MacNeille完备化
Dedekind-MacNeille Completion