Let and be -Structures with . Let be the inclusion map. Suppose is an -Elementary Embedding. Then is an elementary substructure of written We also say is the elementary extension of . Lemma If then they are Elementary Equivalent. Example The converse doesn’t hold, e.g. and . They are Elementary Equivalent, but they don’t agree on the sentence: so the inclusion map cannot be an Elementary Embedding.