在模型论,给定在同一个语言L中的两个结构M和N,我们称M是N的基本子结构(有时表示为M1. M是N的子结构,且2. 对于所有有限元组,对于所有语言L的公式,我们有当且仅当.我们称N是M的基本扩展当且仅当M是N的基本子结构.在模型论,给定在同一个语言L中的两个结构M和N,我们称M是N的基本子结构(有时表示为M1. M是N的子结构,且2. 对于所有有限元组,对于所有语言L的公式,我们有当且仅当.我们称N是M的基本扩展当且仅当M是N的基本子结构.