以及它们的相关性质推导出上面所有二元运算和二元关系的性质。当然这个“最小结构”的选择并不唯一，可以根据需要选择适当的方式。下一个命题包含三种特殊集合：空集、全集、集合的补集，给出关于它们的两组规律。命题 2：对全集 formula_91 的任意子集formula_24，下列恒等式成立：同一性（结合交换律）说明，就像 0 和 1 分别是加法和乘法的单位元，formula_32 和 formula_91 也分别是并集和交集的单位元。跟加法和乘法不同，并集和交集没有逆元。然而，补集律给出了类似