简称“集论”。研究集合的性质及其运算的一门数学分支。纯粹数学的各个分支几乎都建立在满足各种不同条件的集合之上，许多涉及数学基础的根本性问题都可归结为有关集论的问题。