真类

扩展释义

真类是不是集合的类。在公理集合论NGB系统中，“类”被区分为“真类”和“集合”，真类与集合都是类，但两者不同，集合是某个类的元素，而真类不能作为类的元素。如所有的集合组成的类就是真类。