Model (model theory)
Redirect to:
Structure (mathematical logic)