Κ-Saturation

Propriété sémantique en théorie des modèles d'une structure affirmant que tout type (ensemble de formules) à paramètres dans un sous-ensemble de cardinal strictement inférieur à un cardinal donné κ, qui est finiment satisfiable dans la structure, est réalisé dans la structure ; autrement dit, tous les types cohérents sur des ensembles de paramètres petits sont réalisés.