Estructura Saturada

Una estructura κ-saturada (estructura saturada) es un modelo M tal que para todo conjunto de parámetros A ⊆ M con |A| < κ, todo tipo consistente sobre A (en un número finito de variables) se realiza dentro de M; la saturación expresa que M es lo bastante rico para contener realizaciones de todas las descripciones pequeñas y consistentes.