初等等價(elementarily equivalent)模型論術語.指兩個模型間的一種關係.設old， ,是了的兩個模型.如果對丫中每一語句a都有=}l } a，若且唯若屠片a.則稱哪和屠是初等等價的，記為甲三男.即哪三男，若且唯若Th(}}l>=Th(}>，其中Th(%}l)表示在留中為真的語句集合，Th (.)表示在居中為真的語句集合.
