set of binary relations.  You do not
&gt; seem to be disputing that this can be done in the manner
&gt; I have described.

Again, you, with a little bit -- okay, a lot -- of non-help
from others, are consistently failing to distinguish between
a relation, which is, as you say, a set, and a single tuple.

The coordinate projections are relevant to the structure of
a single k-tuple.  To talk about analyzing a whole relation
in terms of other entire relations, putatively simpler ones,
one needs to bring in ope