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