Saturiertes Modell

Ein Modell, das jeden Typ über Parametersätzen von Kardinalität unterhalb seiner Sättigungskardinalität realisiert; informell ist ein Modell κ-sättigt, wenn es alle Typen über Parametersätze der Größe < κ realisiert, und (vollständig) gesättigt, wenn κ seine eigene Kardinalität ist.

Ein Modell M ist κ‑gesättigt (für eine Kardinalität κ), wenn jeder konsistente Typ über einer Parametersmenge der Größe < κ in M realisiert wird; kurz: M ist relativ zu seiner Größe so reich wie möglich, indem es alle kleinen Typen realisiert.