查看“︁傳遞模型”︁的源代码

在數學[[集合論]]上，'''傳遞模型'''是一個標準且傳遞的集合論[[模型论|模型]]。「標準」指這模型的關係是其元素間慣常的[[属于关系 (集合论)|屬於關係]]；而「傳遞」則指這集合是一個[[傳遞集合]]或類。

==例子==
* 內模型是包含所有序數的傳遞模型。
* 可數傳遞模型（countable transitive model，縮寫為CTM），顧名思義，是一個包含可數多個元素的傳遞模型。

==性質==
若<math>M</math>為傳遞模型，則<math>\omega^M</math>是標準的<math>\omega</math>，這表示說這模型的正整數、整數及有理數都與其標準變體相同；此外，傳遞模型的每個實數都是標準的實數，但這不表示傳遞模型需要包含所有的標準實數。

==參考資料==
* {{cite book | last1=Jech | first1=Thomas | author1-link=Thomas Jech | title=Set Theory | url=https://archive.org/details/settheory0000jech_f7i4 | edition=Third Millennium | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Springer Monographs in Mathematics | isbn=978-3-540-44085-7 | year=2003 | zbl=1007.03002 }}

[[Category:集合論]]