定不等于formula_60。换用formula_43表示真子集，如果 formula_25，那么formula_1可能等于formula_2也可能不等于，而如果 formula_68，那么formula_1就一定不等于formula_2。ISO 80000-2标准中定义了两种符号搭配：使用formula_41表示子集关系，formula_43表示真子集关系；或者使用formula_43表示子集关系，使用formula_42表示真子集关系。
性质.命题1：空集是任意集合的子