ula_42表示真子集关系。
性质.命题1：空集是任意集合的子集。这个命题说明：包含是一种偏序关系。命题2：若formula_83是集合，则：这个命题说明：对任意集合formula_91，"formula_91"的幂集按包含排序是一个有界格，与上述命题相结合，则它是一个布尔代数。命题3：若formula_83是集合"formula_91"的子集，则：命题4:对任意两个集合formula_1和formula_2，下列表述等价：这个命题说明：表述"formul