在数学学科模型论中，某个其他模型的子模型或子结构是满足与最初模型同样关系的更小的模型。形式定义如下。设 formula_1 和 formula_2 是同一个语言 formula_3 的两个模型。我们称formula_1 是 formula_2 的子模型(通常表示为 "M" ⊂ "N") (等价的说，formula_2 是 formula_1的扩展)当且仅当 比如 (Q, +, ×, <, 0, 1) 是 (R, +, ×, <, 0, 1) 的子模型。在语言的模型的范畴中，子模型将是子对象。