First-Order Logic Theory of a Structure Elementary Equivalent Structures Vaught’s Test Structure Embedding Structure Isomorphism Elementary Embedding Substructure Elementary Substructure Structure Chain Elementary Structure Chain Categorical Morley’s Theorem Unbounded Dense Linear Order Generated Substructure Algebraically Closed Field Polynomial Map Ax-Grothendieck Theorem Lefshetz Principle Quantifier Elimination