在研究集合之间关系时，往往把讨论限制在某一给定集合的范围内，即待研究集合都是给定集的子集，这个给定的集称为“全集”，记作i。若已知全集i，而a{c=}i，则i中所有不属于a的元素组合的集合，称为集a的“补集”或“余集”，记作或a′，如图所示。