12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives (view source)
Revision as of 01:06, 13 April 2009
, 01:06, 13 April 2009→Commentary Note 11.7
Line 3,841:
Line 3,841:
| =+| {(x, y) ∈ ''L'' : ''x'' = ''u''}+|-+| +| =+| the set of all ordered pairs in ''L'' incident with ''u'' in ''X''.+|-+| ''L''<sub>''v''.''Y''</sub>+| =+| {(''x'', ''y'') ∈ ''L'' : ''y'' = ''v''}+|-+| +| =+| the set of all ordered pairs in ''L'' incident with ''v'' in ''Y''.+
In the light of these considerations, the local flags of a 2-adic relation <math>L \subseteq X \times Y</math> may be formulated as follows:
In the light of these considerations, the local flags of a 2-adic relation <math>L \subseteq X \times Y</math> may be formulated as follows:
−{| cellpadding="4"
+{| align="center" cellspacing="6" width="90%"
−| ''L''<sub>''u''.''X''</sub>
+|
−<math>\begin{array}{lll}
−L_{u \star X}
−& = &
−\{ (x, y) \in L : x = u \}
−\\[6pt]
−& = &
−\text{the set of all ordered pairs in}~ L ~\text{incident with}~ u \in X.
−\\[9pt]
−L_{v \star Y}
−& = &
−\{ (x, y) \in L : y = v \}
−\\[6pt]
−& = &
−\text{the set of all ordered pairs in}~ L ~\text{incident with}~ v \in Y.
+\end{array}</math>
|}
|}
Line 3,874:
Line 3,875:
|}
|}
−The local flag ''E''<sub>3.''X''</sub> is displayed here:
+The local flag <math>E_{3 \star X}</math> is displayed here:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
Line 3,889:
Line 3,890:
|}
|}
−The local flag ''E''<sub>2.''Y''</sub> is displayed here:
+The local flag <math>E_{2 \star Y}</math> is displayed here:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
