Work ䷑

Peirce’s 1870 “Logic of Relatives” • Comment 11.10

PNG

Definitions

Definitions

HTML + JPG + LaTeX

\text{Function}~ f : X \to Y

Function f : X → Y
\text{Figure 40. Function}~ f : X \to Y

\text{Function}~ g : X \to Y'

Function g : X → Y'
\text{Figure 41. Function}~ g : X \to Y'

\text{Function}~ h : Y' \to Y

Function h : Y' → Y
\text{Figure 42. Function}~ h : Y' \to Y

\text{Function}~ m : X \to Y

Function m : X → Y
\text{Figure 43. Function}~ m : X \to Y

HTML + LaTeX

Definitions

\begin{array}{lll} f ~\text{is surjective} & \iff & f ~\text{is total at}~ Y. \\[6pt] f ~\text{is injective} & \iff & f ~\text{is tubular at}~ Y. \\[6pt] f ~\text{is bijective} & \iff & f ~\text{is}~ 1\text{-regular at}~ Y. \end{array}

HTML (Table) + JPG

Figure 40

LOR 1870 Figure 40 (40)

Figure 41

LOR 1870 Figure 41 (41)

Figure 42

LOR 1870 Figure 42 (42)

Figure 43

LOR 1870 Figure 43 (43)