Interpretation function

Redirect to:

• Structure (mathematical logic)#Interpretation function