海廷代数

（数学 名词）
在数学里，海廷代数是一特殊的偏序集，经由广义化布尔代数而成，得名于阿兰德·海廷。海廷代数是作为直觉主义逻辑的模型而产生的，是一种排中律不总是成立的逻辑。完全海廷代数是无点拓扑学的核心。[1]元素x被称为a对应于b的相对伪补元(relative pseudo-complement)，并标记为 。H中最大和最小元素分别写成1和0。海廷代数H为一有界格，满足如下条件：对于在H中的所有a和b，存在一属于H的最大元素x，使得
用户数据
参数表
继承树
构成树
关注人数：
0
技点进度：
0/0
题库进度：
0/0
技能进度：
0/
关注级别：