Extension (model theory)
Redirect to:
Substructure (mathematics)