_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 的基本扩展当且仅当 formula_2 是 fo