12,089
edits
Changes
Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives (view source)
Revision as of 20:00, 12 April 2009
, 20:00, 12 April 2009→Commentary Note 11.7
|}
|}
In the case of a 2-adic relation ''L'' ⊆ ''X''<sub>1</sub> × ''X''<sub>2</sub> = ''X'' × ''Y'', we can reap the benefits of a radical simplification in the definitions of the local flags. Also in this case, we tend to denote ''L''<sub>''u''.1</sub> by "''L''<sub>''u''.''X''</sub>" and ''L''<sub>''v''.2</sub> by "''L''<sub>''v''.''Y''</sub>".
In the case of a 2-adic relation <math>L \subseteq X_1 \times X_2 ~=~ X \times Y,</math> we can reap the benefits of a radical simplification in the definitions of the local flags. Also in this case, we tend to refer to <math>L_{u \star 1}</math> as <math>L_{u \star X}</math> and <math>L_{v \star 2}</math> as <math>L_{v \star Y}.</math>
In the light of these considerations, the local flags of a 2-adic relation ''L'' ⊆ ''X'' × ''Y'' may be formulated as follows:
In the light of these considerations, the local flags of a 2-adic relation ''L'' ⊆ ''X'' × ''Y'' may be formulated as follows: