一、定义

  给定一阶语言L ,其中的函词及谓词分别为F1, F2, …, Fn ; P1, P2,…,Pm ,L 的结构是一个数学结构M= < U, f1, f2, …, fn ; R1, R2 , …, Rm >, 满足:
  (1)U是一个非空集合,有穷或者无穷。
  (2)对应于L的每一个函词符号 Fj , Fjk目函词,则 fjA上的一个k元函数。
  (3)对应于L的每一个谓词符号 Pj , Pjk目谓词,则 RjA上的一个k元关系。

  L 在结构M上的一个赋值I 由左边个映射组成: