对偶的，说明集合的补集是唯一满足补集律的集合。也就是说，互补的特征通过补集律体现。命题 5：设 formula_24 和 formula_101 为全集 formula_91 的子集，则：
包含的代数.下列命题说明包含是种偏序关系。命题 6：若 formula_118 为集合，则下述成立：下列命题说明对任意集合 formula_126，formula_126 的幂集按照包含来排列是个有界格；因此，结合上述的分配律和补集律，它是一个布尔代数。命题 7：若 formul