集合论的基本概念之一。在康托尔集合论发展的初期，类与集合是不加区分的，都指由对象组成的整体(参见集合)，集合论悖论出现后，人们把类区分为集合(能作为其它类的元素的类)与真类(不能作为其它类的元素的类)两种，从而避免了悖论。并在这一方向上进行了公理化的处理(参见哥德尔－贝奈斯公理系统)。