 Elementarity

Preservation of all first-order formulas with parameters by an embedding. For an inclusion of structures this is the condition for an elementary substructure.