Elementary substructure
Redirect to:
Elementary equivalence