1) pseudo upper semilattice
伪上半格
2) (Semi-) Proximity structures on Pseudocomplemented Lattice
伪补格上的(半)Proximity结构
3) scmistrictly pseudoco-coercive maps
半严格伪上强制映射
4) demi-pseudocomplemented lattice
半伪补格
5) upper semilattice
上半格
1.
We prove that the adjoint semigroup of an implicative BCK algebra is an upper semilattice, and the adjoint semigroup of an implicative BCK algebra with condition(s) is a generalized Boolean algebra.
我们证明了蕴涵BCK_代数的伴随半群是一个上半格 ;具有条件 (s)的蕴涵BCK_代数的伴随半群是一个广义布尔代数。
6) upper(lower) semi lattice
上(下)半格
补充资料：半伪Euclid空间
半伪Euclid空间
semi-pseudo-Euclidean space
半伪五”d记空间f胭I幼一碑”心一h凶山汾n习.Ce;n。刃-nce.月oe卿“月OBo nP0c甲明cTBO] 具有退化的不定度量的向量空间.半伪Euclid空间‘’‘，R:”’，一’定义为一个刀维空间，在其中给定了厂个数量积 (二，力“二艺气二味y’u，这里O=椒(、<俐l<一
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条