維基專題:數學/集合論
基本概念
- 集合（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）