义的结构包括：这些二元关系和二元运算构成了集合上的基本结构，包括序结构和代数结构。
代数结构.代数结构是关于运算的结构。以下是集合间运算的基本性质：
序结构.包含和真包含关系定义了集合间的一个偏序关系。在该偏序关系的意义下两者等价，通常不失一般性地将该偏序关系指为 \subseteq 。该偏序关系还有如下的结构：
集合上结构的最小定义.显然，上面的所有结果并不是独立的，大部分结果都可以从一个很小的结构推导出来。比如很容