真類

真類是不是集合的類。在公理集合論NGB系統中，“類”被區分為“真類”和“集合”，真類與集合都是類，但兩者不同，集合是某個類的元素，而真類不能作為類的元素。如所有的集合組成的類就是真類。

基本介紹

• 中文名：真類
• 外文名：proper class
• 所屬學科：範疇論

定義

非小集的類稱為真類。

等價定義

在NGB公理集合論中，有一個初始對象為“類”，還有一個二元謂詞“∈”，我們稱一個類x是集合，若且唯若存在類y使得x∈y。稱一個類x是真類，若且唯若x不是集合。

於是不存在真類屬於某一個類。