集合论
集合代数相当于集合论中的算术代数。它是关于集合论运算如交集、并集、补集，和集合论关系如等于、包含等的代数：本文主要介绍这些内容。对集合的基本介绍请参见集合，更详尽的内容请参见朴素集合论。