12,122
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday October 26, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives (view source)
Revision as of 14:47, 15 April 2009
, 14:47, 15 April 2009→Commentary Note 11.12
It always helps to begin by recalling the pertinent definitions.
It always helps to begin by recalling the pertinent definitions.
For a 2-adic relation ''L'' ⊆ ''X'' × ''Y'', we have:
For a 2-adic relation <math>L \subseteq X \times Y,</math> we have:
{| align="center" cellspacing="6" width="90%"
|
<math>\begin{array}{lll}
L ~\text{is a function}~ L : X \leftarrow Y
& \iff &
L ~\text{is}~ 1\text{-regular at}~ Y.
\end{array}</math>
|}
As for the definition of relational composition, it is enough to consider the coefficient of the composite on an arbitrary ordered pair like ''i'':''j''.
As for the definition of relational composition, it is enough to consider the coefficient of the composite on an arbitrary ordered pair like ''i'':''j''.
