命题 8：对任意两个集合 formula_24 和 formula_101，下述等价：上述命题说明，集合的包含关系可以采用并集运算或交集运算来表示，即包含关系在公理体系中是多余的。
相对补集的代数.下列命题给出一些关于相对补集或集合论差的恒等式。命题 9：对任意全集 formula_91 和 formula_91 的子集 formula_24，formula_101，formula_151，下列恒等式成立：
常用代数结构.