在模型论中，饱和模型可以大致描述为一个实现够小的型的模型。
定义.令 κ 为一个基数，formula_1 为某个一阶语言中对某理论的模型。formula_1 被称作是 κ-饱和 的，当且仅当对所有基数小于 κ 的子集 formula_3，以 A 为参数的完备型都被 formula_1 实现。formula_1 被称作是饱和的，当且仅当它是 formula_6-饱和的。