在數學集合論上,傳遞模型是一個標準且傳遞的集合論模型。「標準」指這模型的關係是其元素間慣常的屬於關係;而「傳遞」則指這集合是一個傳遞集合或類。

例子

編輯
  • 內模型是包含所有序數的傳遞模型。
  • 可數傳遞模型(countable transitive model,縮寫為CTM),顧名思義,是一個包含可數多個元素的傳遞模型。

性質

編輯

 為傳遞模型,則 是標準的 ,這表示說這模型的正整數、整數及有理數都與其標準變體相同;此外,傳遞模型的每個實數都是標準的實數,但這不表示傳遞模型需要包含所有的標準實數。

參考資料

編輯