>>298
項xに対し、述語P(x)を 「P(x) ⇔(def) x=x」 と定義すれば、
これは立派な一変数述語だよ。

ところで、二変数述語のことを二項関係と呼ぶことはあるが、
一変数述語を「一項関係」というのは聞いたことがない。
一つのものに対し「関係」は変じゃね？という話。