格，与上述命题相结合，则它是一个布尔代数。命题3：若formula_83是集合"formula_91"的子集，则：命题4:对任意两个集合formula_1和formula_2，下列表述等价：这个命题说明：表述"formula_8"，和其他使用并集，交集和补集的表述是等价的，即包含关系在公理体系中是多余的。