素式
$ r(t_1,\cdots,t_m)
$ t_1,\cdots,t_m
間の
$ r
という関係を表す
$ r
は
述語
記号、
$ t_i
は
項