对于一个集合Ａ，由全集Ｕ中不属于集合Ａ的所有元素组成的集合称为集合Ａ相对于全集Ｕ的补集，简称为集合Ａ的补集，记作∁_UA，即∁_UA={x|x∈U，且x∉A}