满足性

设 为一个 关系系统，且设 为一个适用于 的语言。设 为 的一个良构公式，且设 为 中的一个赋值。那么 被写成，如果以下条件之一成立

1. 的形式为 ，对于 的一些变量 和 ，且 将 和 映射到结构 的同一元素。

2. 的形式为 ，对于语言 的一些 n 元谓词符号 -ary predicate symbol ，以及 的一些变量 ，且 是 的一个成员。

3. 的形式为 ，对于 的一些公式 和 ，使得 且 。

4. 的形式为 ，且存在 的一个元素 ，使得 。

在这种情况下，称 在赋值 下满足 。