我们称 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 是 formula_3 的基本子结构。
等价条件