集合代数

集合代数是数学的一个分支，它发展并描述了集合的基本性质和规律，以及集合论运算如并集、交集、补集等。它还涉及集合之间的关系，如等于、包含。这门学科系统研究如何表达和进行上述运算和关系的操作，是集合论中的算术代数部分。

集合间运算的基本性质包括交换律、结合律、分配律、幂等律、幺元、零元、幂幺律和德·摩根律。这些性质提供了简化计算的工具，并描述了集合运算的本质。

包含关系“{\displaystyle \subseteq }”和真包含关系“{\displaystyle \subset }”定义了集合间的偏序关系。包含关系具有自反性、反对称性和传递性，而真包含关系具有反自反性、非对称性和传递性。这些性质有助于理解集合间的层次和包含关系。

集合代数中的常用代数结构包括半环、格、环、代数、σ环和σ代数。这些结构对集合的并、交、差、对称差等运算的封闭性有不同的要求，它们在集合论和其他数学分支中有广泛的应用。

集合代数中所有正确的命题都可以从交换律、结合律、分配律、同一性和补集律这五组基本性质得到。这些性质构成了集合代数的核心内容，并为集合运算提供了一套完整的规则体系。

集合代数的许多性质可以从一组较小的结构推导出来，如对称差可以用并和差来定义，补可以用差来定义，真包含关系可以用包含关系来定义。这表明集合代数的基本运算和关系可以通过一组核心概念和性质来完全描述。

集合代数的对偶性原理是一个重要性质，它说明了集合运算中的每一组恒等式都是成对出现的。通过交换并集和交集的运算，或者空集和全集的概念，可以得到对偶命题。若一个命题和其对偶命题相同，则称其为自对偶的。