definitional extension（定义性扩展；通过定义引入的扩展）：在逻辑、语言学或知识表示中，指通过增加“定义”（如引入新术语并给出等价定义）来扩展一个理论/语言，通常目标是不改变原有语言中可证明的结论，只是让表达更方便、更精炼。（有时也泛指“对某个定义的补充扩展”。）
/ˌdɛfɪˈnɪʃənəl ɪkˈstɛnʃən/
The textbook introduces a definitional extension to simplify the notation.
这本教材通过一个定义性扩展来简化符号表示。
In formal logic, a definitional extension can add new predicates while preserving the original theory’s consequences in the old language.
在形式逻辑中，定义性扩展可以加入新的谓词，同时保持原理论在原语言中的推论不变。
definitional 来自 definition（定义），源于拉丁语 definire（界定、限定）；extension 来自拉丁语 extendere（展开、延伸）。合起来表示“通过定义来实现的扩展”，强调扩展方式是“加定义/引入缩写性概念”，而非改写原有事实。
该术语主要见于逻辑、哲学与计算机科学的学术写作中，例如常出现在下列著作的相关章节/语境里：
Select Language