在模型论中，饱和模型可以大致描述为一个实现够小的型的模型。

令 κ 为一个基数， 为某个一阶语言中对某理论的模型。 被称作是 κ-饱和 的，当且仅当对所有基数小于 κ 的子集 ，以 A 为参数的完备型都被 实现。 被称作是饱和的，当且仅当它是 -饱和的。

In mathematical logic, and particularly in its subfield model theory, a saturated model M is one which realizes as many complete types as may be "reasonably expected" given its size. For example, an ultrapower model of the hyperreals is -saturated, meaning that every descending nested sequence of internal sets has a nonempty intersection, see Goldblatt (1998).