等集合论运算相关的一些重要性质。命题2：若formula_1和formula_2是全集formula_26的子集，则下列恒等式成立：上述表明，若formula_1为formula_26的非空子集，则formula_49是formula_26的一个分割。
补集的符号.补集的符号为“∁”（Unicode：U+2201）。