基本子结构 在模型论给定在同一个语言 L displaystyle L 中的两个结构 M displaystyle M 和 N displaystyle N 我们称 M displaystyle M 是 N displaystyle N 的基本子结构英語elementary substructure如果  M displaystyle M 是 N displaystyle N 的子结构且  对于所有有限元组 a  M displaystyle ain M 对于所有语言 L displaystyle L 的公式 φ  x  displaystyle varphi x 我们有 M  φ  a  displaystyle Mmodels varphi a 当且仅当 N  φ  a  displaystyle Nmodels varphi a  我们称 N displaystyle N 是 M displaystyle M 的基本扩展当且仅当 M displaystyle M 是 N displaystyle N 的基本子结构