和集合论关系如等于、包含等的代数：本文主要介绍这些内容。对集合的基本介绍请参见集合，更详尽的内容请参见朴素集合论。
集合上的基本结构.集合上通常自然定义的结构包括：这些二元关系和二元运算构成了集合上的基本结构，包括序结构和代数结构。
代数结构.代数结构是关于运算的结构。以下是集合间运算的基本性质：
序结构.包含和真包含关系定义了集合间的一个偏序关系。在该偏序关系的意义下两者等价，通常不失一般性地将该偏序关系指为 \subs