Can you summarize the following document?
        
  若formula_1和formula_2是集合,則formula_1在formula_2中的相對補集是由所有屬於formula_2但不屬於formula_1的元素組成的集合。  formula_1在formula_2中的相對補集記為formula_9或formula_10。  形式上:  例如:  下列命題給出一些相對補集同並集和交集等集合論運算相關的一些常用性質。  命題1:若formula_17是集合,則下列等式恆成立:

  若給定全集formula_26,則formula_1在formula_26中的相對補集稱為formula_1的絕對補集(簡稱補集),記為formula_30,即:  (注意:根據ISO與中華人民共和國國家標準,formula_1中子集formula_2的補集記作formula_34。)  例如,若全集為自然數集合,則奇數集合的補集為偶數集合。  下列命題給出一些絕對補集同並集和交集等集合論運算相關的一些重要性質。  命題2:若formula_1和formula_2是全集formula_26的子集,則下列恆等式成立:  上述表明,若formula_1為formula_26的非空子集,則formula_49是formula_26的一個分割。

  補集的符號為“∁”(Unicode:U+2201)。
在集合論和數學的其他分支中,存在補集的兩種定義:相對補集和絕對補集。