在模型论，给定在同一个语言 formula_1 中的两个结构formula_2 和 formula_3，我们称 formula_2 是 formula_3 的基本子结构(有时表示为 formula_6) 如果1. formula_2 是 formula_3 的子结构，且2. 对于所有有限元组 formula_9，对于所有语言 formula_1 的公式 formula_11，我们有 formula_12 当且仅当 formula_13。我们称 formula_3 是 formula_2 的基本