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