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

研究系统的一般模式、结构、性质和规律的理论。狭义指一般系统论；广义包括一般系统论、控制论、自动化理论、信息论、集合论、图论、网络理论、系统数学、对策论、决策论、电子计算机模拟等理论和方法。它认为一切系统都具有整体性、关联性、等级结构性、动态平衡性、自组织性。它的基本方法有信息论方法、反馈方法、系统分析方法等。

表示事物次序的数。在集合论中，也有推广意义的序数概念。

集合论的基本概念之一。如果集a的任一元素都是集b的元素，则称集a为集b的一个子集，记作ab或ba，读作“a包含于b”或“b包含a”。如果a是b的子集，且b中至少含有一个不属于a的元素，则称a是b的“真子集”，记作ab或ba。任一集合都是它本身的子集，空集是任何集合的子集。