集合域

在集合代數中 ， 域 ， 或者代數 ， 是指一種有序對 ， 其中 是集合 ， 是由集合 的一些子集構成的一種集類 ， 它滿足 自身是它的元素 ， 且對加法 （ 有限並 ） 封閉和乘法 （ 有限交 ） 及逆 （ 餘集 ） 運算封閉 。 在這樣的集類中 ， 空集類似於 0 ， 因爲和它相加 （ 並 ） 的任何集合結果還是自身 ； 全集相當於 1 ， 因爲和它相乘 （ 交 ） 的任何集合還是自身 。 也可把滿足上述條件的集類稱爲域或代數