基本子模型

基本子模型
术语名称	基本子模型
英语名称	elementary submodel

基本扩张
术语名称	基本扩张
英语名称	elementary extension

一个模型的基本子模型(submodel)，指论域是这个子模型的子集的模型，要求两个模型在这个子集上的赋值中的满足情况均相同。

定义

TODO