definable closure（可定义闭包）是模型论中的概念：在某个结构 \(M\) 里，给定参数集合 \(A\)，由 \(A\) “唯一可定义”出来的所有元素的集合称为 \(A\) 的可定义闭包，记作 \(\mathrm{dcl}(A)\)。
直观地说：如果一个元素 \(b\) 能用带参数 \(A\) 的公式把它精确地指认出来（并且只能有它一个满足），那么 \(b\) 就属于 \(\mathrm{dcl}(A)\)。
（在不同理论/语言下，\(\mathrm{dcl}\) 的性质会有所差异；它与 algebraic closure（代数闭包）常被并列比较。）
/dɪˈfaɪnəbəl ˈkloʊʒər/
In this structure, the definable closure of A includes all elements uniquely determined by A.
在这个结构中，集合 A 的可定义闭包包含所有由 A 唯一确定的元素。
In stable theories, researchers often compare definable closure with algebraic closure to analyze how parameters control types.
在稳定理论中，研究者常把可定义闭包与代数闭包作比较，以分析参数如何影响（决定）类型。
definable 来自 define（定义、界定）+ 形容词后缀 -able（“能够……的”），表示“能够被定义的”。
closure 来自 close（关闭、封闭）演化出的名词形式，在数学语境中常指“在某种运算/规则下补全所得的封闭集合（闭包）”。
合起来，definable closure 字面意思就是“由可定义性所生成的闭包”。
Select Language