Elementary extension
= Elementary extension
An <elementary extension> is an extension preserving all first-order truth with parameters, hence giving <elementary equivalence>. An extension $N\supseteq M$ is elementary when every formula with parameters from $M$ has the same truth value in both structures.