基本子结构

（计算机术语）
在模型论，给定在同一个语言L中的两个结构M和N，我们称M是N的基本子结构(有时表示为M<N) 如果满足：1. M中所有有限元组，对于语言L中所有的规则或定理，有且仅当N符合规则或定理时，M才符合。这时我们称N是M的基本扩展当且仅当M是N的基本子结构。最常见是集合之间的关系。
用户数据
参数表
继承树
构成树
关注人数：
0
技点进度：
0/0
题库进度：
0/0
技能进度：
0/
关注级别：