r,
&gt; &gt; is identical with) R (again, in the usual way)?  Ok.
&gt;
&gt; MW: I said individual, you said thing. I meant only individuals, sp
&gt; not classes/sets. (but see below).

But if classes/sets are in the domain of quantification, then they can
stand in relations to other things, individuals or not.  So I think you
want to use the more general term "thing" here.

&gt; &gt; &gt;    note: only binary relations are used.
&gt; &gt;
&gt; &gt; It seems bizarre to me to limit oneself in principle to bin