Maths›03. Logic and Foundations4.2 Substructures and EmbeddingsSubstructures, generated substructures, homomorphisms, embeddings, and preservation of atomic formulas.