結構_(數理邏輯)

在數學學科模型論中 ， 語言 的結構 ， 它的第二個成員是一個釋義 ， 就是 的一個偏函數 ， 它完全定義在 的非邏輯符號之上 ， 使得 的常量符號對應於 上的元素 ， 如果有的話 ； 的函數符號對應於 上的函數 ， 如果有的話 ； 而 的關係符號對應於 上的關係 ； 如果有的話 。