最小子布尔代数

一种特殊的子布尔代数.设B=〈B，+，·，′，0，1〉是布尔代数，SB，B必有子代数，其论域包含S(例如B本身就是).对B的一切其论域包含S的子代数作交集，可得B的子代数B₀，称为其论域包含S的最小子布尔代数.若为B的任一个其论域包含S的子代数，则B₀.minimal Boolean subalgebra