在研究集合与集合之间关系时,这些集合常是某个给定集合的子集,这个给定的集合称为“全集”,用符号I表示。若已知全集I,而AI,则由I中所有不属于A的元素组成的集合,称为集合A的“补集”(或称“余集”),记作CIA,或。图中长方形表示全集I,圆表示集合A,阴影部分表示A的补集CIA。