##  [Modèle Saturé](/fr/node/61007) 

  ##  [Modèle Saturé](https://mathlogic.quantumdictionary.io/fr/node/61008) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Un modèle qui réalise tous les types sur des ensembles de paramètres de cardinalité inférieure à son cardinal de saturation ; plus précisément, un modèle est κ-saturé s'il réalise tous les types sur des ensembles de paramètres de taille < κ, et saturé lorsque κ coïncide avec sa propre cardinalité.

 

 

 

 

 





 

 



 ##  [Modèle Saturé](https://algebra.quantumdictionary.io/fr/node/63597) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Un modèle M est κ‑saturé (pour un cardinal κ) si tout type cohérent sur un ensemble de paramètres de taille strictement inférieure à κ est réalisé dans M ; en termes simples, M est aussi riche que sa taille le permet en réalisant tous les petits types.