Elementary extension
= Elementary extension
{wiki=Elementary_equivalence#Elementary_substructures_and_elementary_extensions}
An extension $N\supseteq M$ is elementary when every formula with parameters from $M$ has the same truth value in both structures.