子结构, 在数学学科模型论中, 某个其他模型的子模型或是满足与最初模型同样关系的更小的模型, 形式定义如下, displaystyle, displaystyle, 是同一个语言, displaystyle, 的两个模型, 我们称, displaystyle, displaystyle, 的子模型, 通常表示为, 等价的说, displaystyle, displaystyle, 的扩展, 当且仅当, displaystyle, 的域是, displaystyle, 的域的子集, 对于所有, displaystyl. 在数学学科模型论中 某个其他模型的子模型或子结构是满足与最初模型同样关系的更小的模型 形式定义如下 设 M displaystyle M 和 N displaystyle N 是同一个语言 L displaystyle L 的两个模型 我们称 M displaystyle M 是 N displaystyle N 的子模型 通常表示为 M N 等价的说 N displaystyle N 是 M displaystyle M 的扩展 当且仅当 M displaystyle M 的域是 N displaystyle N 的域的子集 对于所有 L displaystyle L 的 n displaystyle n 元关系符号 R displaystyle R 我们有 RM RN Mn 对于所有 L displaystyle L 的 m displaystyle m 元函数符号 f displaystyle f 我们有 f M f N M m displaystyle f M f N M m 对于所有 L displaystyle L 的常量符号 c displaystyle c 我们有 c M c N displaystyle c M c N 比如 Q lt 0 1 是 R lt 0 1 的子模型 在语言的模型的范畴中 子模型将是子对象 参见 编辑Lowenheim Skolem定理 素模型 这是一篇與逻辑学相關的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 子结构 amp oldid 25425501, 维基百科,wiki,书籍,书籍,图书馆,