在集合代数中，域，或者代数，是指一种有序对formula_1，其中 formula_2 是集合，formula_3 是由集合 formula_4 的一些子集构成的一种集类，它满足 formula_4 自身是它的元素，且对加法（有限并）封闭和乘法（有限交）及逆（余集）运算封闭。在这样的集类中，空集类似于 0，因为和它相加（并）的任何集合结果还是自身；全集相当于 1，因为和它相乘（并）的任何集合还是自身。也可把满足上诉条件的集类formula_3称为域或代数
定义.非空集类 for