 of 2-tuples:

| Rise&lt;2&gt;  =  {&lt;0, 0&gt;,
|              &lt;0, 1&gt;,
|              &lt;1, 1&gt;}

Let the relation named "Rise&lt;3&gt;"
such that Rise&lt;3&gt; c B^3 = BxBxB,
be exactly this set of 3-tuples:

| Rise&lt;3&gt;  =  {&lt;0, 0, 0&gt;,
|              &lt;0, 0, 1&gt;,
|              &lt;0, 1, 1&gt;,
|              &lt;1, 1, 1&gt;}

Then Rise&lt;3&gt; is a "degenerate 3-adic relation"
because it can be expressed as the conjunction
of a couple of 2-adic relations, specifically:

Rise&lt;