维基专题:数学/集合论
基本概念
- 集合（en:Set）、元素（en:Element (mathematics)）、子集（en:Subset）、空集（en:Empty set）、幂集（en:Power set）
- 集合代数（en:Algebra of sets）：并集（en:Union (set theory)）、交集（en:Intersection (set theory)）、差集或补集（en:Complement (set theory)）、对称差（en:Symmetric difference）；附：布尔代数（en:Boolean algebra）
- 最大集范式、最小集范式
- 直积、笛卡尔积、卡氏积（en:Cartesian product）
- 其他：文氏图（en:Venn diagram）
关系
- 关系 (数学)（en:Relation (mathematics)）、二元关系（en:Binary relation）、定义域（en:Domain (mathematics)）、陪域（en:Codomain）
- 自反关系（en:Reflexive relation）、对称关系（en:Symmetric relation）、反对称关系（en:Antisymmetric relation）、传递关系（en:Transitive relation）
- 自反闭包（en:Reflexive closure）、对称闭包（en:Symmetric closure）、传递闭包（en:Transitive closure）、Warshall算法
- 等价关系（en:Equivalence relation）、集合划分（en:Partition of a set）、等价类（en:Equivalence class）、商集（en:Quotient set）、自然映射（en:Natural mapping）
- 相容关系、覆盖、最大相容类、完全覆盖
- 序理论（en:Order theory）：偏序关系或半序关系（en:Partially ordered set）、全序关系或线性序（en:Total order）、良序关系（en:Well-order）、哈斯图（en:Hasse diagram）