一、定义
给定一阶语言
L
,其中的函词及谓词分别为F
1
, F
2
, …, F
n
; P
1
, P
2
,…,P
m
,L 的结构是一个数学结构
M
= < U, f
1
, f
2
, …, f
n
; R
1
, R
2
, …, R
m
>, 满足:
(1)
U
是一个非空集合,有穷或者无穷。
(2)对应于
L
的每一个函词符号 F
j
, F
j
是
k
目函词,则 f
j
是
A
上的一个
k
元函数。
(3)对应于
L
的每一个谓词符号 P
j
, P
j
是
k
目谓词,则 R
j
是
A
上的一个
k
元关系。
L
在结构
M
上的一个赋值
I
由左边个映射组成: