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