簡稱“集論”。研究集合的性質及其運算的一門數學分支。純粹數學的各個分支幾乎都建立在滿足各種不同條件的集合之上，許多涉及數學基礎的根本性問題都可歸結為有關集論的問題。