Languages and structures. Terms, formulae, and their interpretations. Theories and elementarity. Two relational structures. Compactness. Saturation. The monster model. Strongly minimal theories.