基本子结构

（计算机术语）

在模型论，给定在同一个语言L中的两个结构M和N，我们称M是N的基本子结构(有时表示为M<N) 如果满足：1. M中所有有限元组，对于语言L中所有的规则或定理，有且仅当N符合规则或定理时，M才符合。这时我们称N是M的基本扩展当且仅当M是N的基本子结构。最常见是集合之间的关系。