複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/真類/22405480
複製
複製成功

真類

鎖定
真類是不是集合的類。在公理集合論NGB系統中，“類”被區分為“真類”和“集合”，真類與集合都是類，但兩者不同，集合是某個類的元素，而真類不能作為類的元素。如所有的集合組成的類就是真類。 [1] 
中文名
真類
外文名
proper class
所屬學科
範疇論

目錄

  1. 1 定義
  2. 2 等價定義

真類定義

非小集的類稱為真類。 [2] 

真類等價定義

在NGB公理集合論中，有一個初始對象為“類”，還有一個二元謂詞“∈”，我們稱一個類x是集合，當且僅當存在類y使得x∈y。稱一個類x是真類，當且僅當x不是集合。
於是不存在真類屬於某一個類。
參考資料
  • 1.    彭漪漣．邏輯學大辭典：上海辭書出版社，2004年12月
  • 2.    Saunders Mac Lane．數學工作者必知的範疇學 第2版：Springer，1978