不分明化正定蕴涵理想
fuzzifying positive implicative ideal
极大正定定不变子空间
maximal positive invariant subspace
可对称半正定化矩阵
positive definite symmetrizable matrices and semid
完备正交函数系
complete orthogonal function system
完备正交基集
complete orthogonal basis
完备正交系
complete orthogonal system
Dedekind-MacNeille完备化
Dedekind-MacNeille Completion
可完备化幂零李代数
completable nilpotent Lie algebra