For a universal set, the set of all elements in the set that are not in a specified subset.

• 补集对任意一个集合，这个集合的所有元素不共存在于它的任一子集合