Embedding of structures

Summary

An embedding of one structure into another is an injective homomorphism that also reflects the relations. It identifies the first structure with a substructure of the second, up to isomorphism. Embeddings let one say that a structure "sits inside" another, as $\Z$ sits inside $\Q$. Elementary embeddings are the embeddings that preserve all first-order formulas.