原子命题函数是公式，简称为原子公式。它有下面三种形式：

（1）尺（4,…，匕，…:A）。R是上元关系，有是元组变量，的第，个分量，我（上,…:■切…,4）表

示这样一个命题“以4，・-，4，“・，4为分量的元组在关系反中”。

（2）或W4。弓表示元组变量，的第「个分量，。是常量，。为算术比较运算符。

（3）S%。弓与幻是两个域变量，匕是元组变量r的第f个分量，七是元组变量”的第J

个分量，它们之间应满足。运算。