Changes

</ol>

</ol>

The last and likely the best way one can choose to follow in order to form an objective genre G is to present it as a triadic relation:

The last and perhaps the best way to form an objective genre <math>G\!</math> is to present it as a triadic relation:

:<p><math>G = \{ (j, p, q) \} \subseteq J \times P \times Q ,</math></p>

| <math>G = \{ (j, p, q) \} \subseteq J \times P \times Q ,</math>

: or

or:

:<p><math>G = \{ (j, x, y) \} \subseteq J \times X \times X .</math></p>

| <math>G = \{ (j, x, y) \} \subseteq J \times X \times X .</math>

For some reason the ultimately obvious method seldom presents itself exactly in this wise without diligent work on the part of the inquirer, or one who would arrogate the roles of both its former and its follower.  Perhaps this has to do with the problematic role of ''synthetic a priori'' truths in constructive mathematics.  Perhaps the mystery lies encrypted, no doubt buried in some obscure dead letter office, due to the obliterate indicia on the letters "P", "Q", and "X" inscribed above.  No matter - at the moment there are far more pressing rounds to make.

For some reason the ultimately obvious method seldom presents itself exactly in this wise without diligent work on the part of the inquirer, or one who would arrogate the roles of both its former and its follower.  Perhaps this has to do with the problematic role of ''synthetic a priori'' truths in constructive mathematics.  Perhaps the mystery lies encrypted, no doubt buried in some obscure dead letter office, due to the obliterate indicia on the letters "P", "Q", and "X" inscribed above.  No matter &mdash; at the moment there are far more pressing rounds to make.

Given a genre ''G'' whose OM's are indexed by a set ''J'' and whose objects form a set ''X'', there is a triadic relation among an OM and a pair of objects that exists when the first object belongs to the second object according to that OM.  This is called the ''standing relation'' of the OG, and it can be taken as one way of defining and establishing the genre.  In the way that triadic relations usually give rise to dyadic operations, the associated ''standing operation'' of the OG can be thought of as a brand of assignment operation that makes one object belong to another in a certain sense, namely, in the sense indicated by the designated OM.

Given a genre ''G'' whose OM's are indexed by a set ''J'' and whose objects form a set ''X'', there is a triadic relation among an OM and a pair of objects that exists when the first object belongs to the second object according to that OM.  This is called the ''standing relation'' of the OG, and it can be taken as one way of defining and establishing the genre.  In the way that triadic relations usually give rise to dyadic operations, the associated ''standing operation'' of the OG can be thought of as a brand of assignment operation that makes one object belong to another in a certain sense, namely, in the sense indicated by the designated OM.