
extensional form, and not just
the syntax of this or that
relational expression.

By way of a lightly diverting overture, let's begin
with an examplar of a "degenerate triadic relation",
a particular version of the "between relation", but
let us make it as simple as we possibly can and not
attempt to analyze even that much of a case in full
or final detail, but leave something for the finale.

Let B = {0, 1}.

Let the relation named "Rise&lt;2&gt;"
such that Rise&lt;2&gt; c B^2 = B x B,
be exactly this set