补集是集合论中的一个基本概念，它指的是在全集U中，不属于某一子集A的所有元素组成的集合，记作∁_U A。换句话说，补集包含了全集中所有不在子集A中的元素。
相对补集：如果A和B是两个集合，A在B中的相对补集是指那些属于B但不属于A的元素组成的集合。
绝对补集：当提到补集时，如果没有明确指出全集，则通常指的是绝对补集。
例如，如果我们有一个全集U = {1, 2, 3, 4, 5}，并且有一个子集A = {1, 2, 5}，那么A在U中的补集（绝对补集）就是U中所有不属于A的元素，即{3, 4}。
补集具有以下性质：
1. 补集与全集的交集为空集（∁_U A ∩ U = ∅）。
2. 补集与自身的并集等于全集（∁_U A ∪ A = U）。
3. 补集的补集（即全集相对于补集的补集）等于原集合（∁_U （∁_U A） = A）