Elementarily characteristic subgroup

Symbol-free definition
A subgroup of a group is said to be elementarily characteristic or first-order characteristic if there is no subgroup that is elementarily equivalently embedded.