>>303-304
だったら、

「x=y」は二変数述語。
「x=x」は一変数述語。

「x<y」は二変数述語。
「x<x」は一変数述語。

ということで>>276で言ってるような、=を特別扱い
する理由は見つからないわけだが。