Wiki. Boole 代数 [Boole代数]

定义

Boole 代数是具有补运算的分配格.

Boole 代数与 Boole 环可以相互转化.

性质

Stone 对偶