ISO 80000-2 标准中定义了两种符号搭配：使用formula_41表示子集关系，formula_43表示真子集关系；或者使用formula_43表示子集关系，使用formula_42表示真子集关系。
性质.命题1：空集是任意集合的子集。这个命题说明：包含是一种偏序关系。命题2：若formula_83是集合，则：这个命题说明：对任意集合formula_91，"formula_91"的幂集按包含排序是一个有界格，与上述命题相结合，则它是一个布尔代数。命题3