模型论中术语，又称子结构。设和是同一语言L的两个模型。如果并且使得下列条件成立，则称为的子模型，也称为的扩张。条件是：
(i)对L中每一个体常元C，设它在和中的解释分别为a和b，则有a=b。
(ii)对L中每一n元谓词符号F，设它在和中的解释分别为R和R＇则对A中的每一n元组a，…，a都有：R(a，…，a)真当且仅当R＇(a，…，a)真。
(iii)对L中每一n元函数符号f，设它在和中的解释分别为f和f，则对A中的每一n元组a，…，a都有：f(a，…，a)＝f′(a，…，a)。
和