Modèle Saturé

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é.

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.