"关系满足自反性、反对称性和传递性。这些规律提供了简化计算的工具，并描述了算术的本质、运算和关系。集合代数相当于集合论中的算术代数。它是关于集合论运算如交集、并集、补集，和集合论关系如等于、包含等的代数：本文主要介绍这些内容。对集合的基本介绍请参见集合，更详尽的内容请参见朴素集合论。
集合上的基本结构.集合上通常自然定义的结构包括：这些二元关系和二元运算构成了集合上的基本结构，包括序结构和代数结构。
代数结构.代数结构是关于运算的结构。以下是集合