为全集 formula_91 的子集，则：
包含的代数.下列命题说明包含是种偏序关系。命题 6：若 formula_118 为集合，则下述成立：下列命题说明对任意集合 formula_126，formula_126 的幂集按照包含来排列是个有界格；因此，结合上述的分配律和补集律，它是一个布尔代数。命题 7：若 formula_118 是集合 formula_126 的子集，则下述成立：下列命题说明，" formula_120 " 与各种采用并集、交集、补集的表示方