Interpretation function
Redirect to:
Structure (mathematical logic)#Interpretation function