Although it may be logically redundant, it is useful in practice to introduce efficient symbolic devices for both directions of relation, "<" and ">", and to maintain a formal calculus that treats analogous pairs of relations on an equal footing. Extra measures of convenience come into play when the relations are used as assignment operations or ''field promotions'', in other words, to create titles, define terms, and establish offices of objects in the active contexts of given relations. Thus, I regard these dual relationships as symmetric primitives and use them as the ''generating relations'' of all three objective levels. | Although it may be logically redundant, it is useful in practice to introduce efficient symbolic devices for both directions of relation, "<" and ">", and to maintain a formal calculus that treats analogous pairs of relations on an equal footing. Extra measures of convenience come into play when the relations are used as assignment operations or ''field promotions'', in other words, to create titles, define terms, and establish offices of objects in the active contexts of given relations. Thus, I regard these dual relationships as symmetric primitives and use them as the ''generating relations'' of all three objective levels. |