差集

如果A包含在C中,則集合C中的集合A的集合是包括所有不在A中且不包含A元素的C元素的集合。

集合論和數學的其他分支中,存在差集的兩種定義:相對差集(差集)和絕對差集(補集)。

相對差集

 
差集 

  集合,則  中的相對差集(簡稱差集)是由所有屬於 但不屬於 的元素組成的集合。

  中的差集記為  

形式上:

 

例如:

  •  
  •  
  •  實數集合, 有理數集合,則 無理數集合。

下列命題給出一些差集同併集交集等集合論運算相關的一些常用性質。

命題1:若 是集合,則下列等式恆成立:

  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  

絕對差集

 
補集 

若給定全集 ,則  中的差集稱為 絕對差集(又稱為補集),記為 ,即:

 

(注意:根據ISO與中華人民共和國國家標準 中子集 的補集記作 。)

例如,若全集為自然數集合,則奇數集合的補集為偶數集合。

下列命題給出一些補集同併集和交集等集合論運算相關的一些重要性質。

命題2:若  是全集 的子集,則下列恆等式成立:

德摩根定律
  •  
  •  
補集律:
  •  
  •  
  •  
  •  
對合
  •  
差集和補集的關係:
  •  
  •  

上述表明,若  的非空子集,則  的一個分割

補集的符號

補集的符號在Unicode中為數學運算符區段中的「∁」(Unicode:U+2201)。

參考文獻

參見