An elementary extension is a type of model in mathematical logic where a structure is expanded to a larger structure without changing the truth values of first-order statements. This ensures that the two structures are elementarily equivalent, meaning they satisfy the same first-order properties.