補集的定義

在集合論和數學的其他分支中，存在補集的兩種定義：相對補集和絕對補集。

相對補集：若A和B是集合，則A在B中的相對補集是這樣一個集合即元素屬於B但不屬於A。

絕對補集：設S是一個集合，A是S的一個子集，由S中所有不屬於A的元素組成的集合，叫做子集A在S中的絕對補集。