Dedekind-MacNeille完备化
Dedekind-MacNeille Completion
可完备化幂零李代数
completable nilpotent Lie algebra
完备化原则
Asset-capital completing rules
完备完全分配格
complete completely distributive lattice
正定完备化
positive definite completion
Dijkstra最弱前置谓词理论
Dijkstra’s weakest pre-condition theory