Modelo Saturado

Un modelo que realiza todo tipo sobre conjuntos de parámetros de cardinalidad inferior a su cardinal de saturación; informalmente, un modelo es κ-saturado si realiza todos los tipos sobre conjuntos de parámetros de tamaño < κ, y saturado cuando κ coincide con su propia cardinalidad.

Un modelo M es κ‑saturado (para un cardinal κ) si todo tipo consistente sobre cualquier conjunto de parámetros de tamaño menor que κ se realiza en M; informalmente, M es tan rico como su tamaño permite al realizar todos los tipos pequeños.