Interpretation function

Redirect to:

  • Structure (mathematical logic)#Interpretation function