类(逻辑的)

---

一些事物按照某种特征汇集在一起被视之为一个整体的有限集合或无限集合。

构成类的各个事物就叫做这个类的组成分子。类的组成分子不仅可以是个体，而且也可以是类本身，因此便有不同级类之说。类的一般概念是从其组成分子的性质和序列抽象出来的。

人们通常是根据类的全部组成分子所固有的共同属性来确定单个的类的。这就使类的概念能够适应于带有一个空位的函项或称一元谓词的概念，因为要使某一分子归属于某一类，就必须要求它具有据之归入这一类的那种属性，而且有了这一属性也就足够了。在逻辑学中，把类、类的一般属性及对类的运算放在类理论中作系统研究。