Line 8,327: |
Line 8,327: |
| o--------------o----------------------o--------------------o----------------------o | | o--------------o----------------------o--------------------o----------------------o |
| </pre> | | </pre> |
| + | |
| + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%" |
| + | |+ '''Table 55. Synopsis of Terminology: Restrictive and Alternative Subtypes''' |
| + | |- style="background:paleturquoise" |
| + | ! |
| + | ! Operator |
| + | ! Proposition |
| + | ! Map |
| + | |- |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | Tacit |
| + | |- |
| + | | Extension |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | <math>\epsilon</math> : |
| + | |- |
| + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| + | |- |
| + | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → ''X''<sup> •</sup>) |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | <math>\epsilon</math>''J'' : |
| + | |- |
| + | | 〈''u'', ''v'', d''u'', d''v''〉 → '''B''' |
| + | |- |
| + | | '''B'''<sup>2</sup> × '''D'''<sup>2</sup> → '''B''' |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | <math>\epsilon</math>''J'' : |
| + | |- |
| + | | [''u'', ''v'', d''u'', d''v''] → [''x''] |
| + | |- |
| + | | ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''B'''<sup>1</sup>] |
| + | |} |
| + | |- |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | Trope |
| + | |- |
| + | | Extension |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | <math>\eta</math> : |
| + | |- |
| + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| + | |- |
| + | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>) |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | <math>\eta</math>''J'' : |
| + | |- |
| + | | 〈''u'', ''v'', d''u'', d''v''〉 → '''D''' |
| + | |- |
| + | | '''B'''<sup>2</sup> × '''D'''<sup>2</sup> → '''D''' |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | <math>\eta</math>''J'' : |
| + | |- |
| + | | [''u'', ''v'', d''u'', d''v''] → [d''x''] |
| + | |- |
| + | | ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''D'''<sup>1</sup>] |
| + | |} |
| + | |- |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | Enlargement |
| + | |- |
| + | | Operator |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | E : |
| + | |- |
| + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| + | |- |
| + | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>) |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | E''J'' : |
| + | |- |
| + | | 〈''u'', ''v'', d''u'', d''v''〉 → '''D''' |
| + | |- |
| + | | '''B'''<sup>2</sup> × '''D'''<sup>2</sup> → '''D''' |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | E''J'' : |
| + | |- |
| + | | [''u'', ''v'', d''u'', d''v''] → [d''x''] |
| + | |- |
| + | | ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''D'''<sup>1</sup>] |
| + | |} |
| + | |- |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | Difference |
| + | |- |
| + | | Operator |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | D : |
| + | |- |
| + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| + | |- |
| + | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>) |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | D''J'' : |
| + | |- |
| + | | 〈''u'', ''v'', d''u'', d''v''〉 → '''D''' |
| + | |- |
| + | | '''B'''<sup>2</sup> × '''D'''<sup>2</sup> → '''D''' |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | D''J'' : |
| + | |- |
| + | | [''u'', ''v'', d''u'', d''v''] → [d''x''] |
| + | |- |
| + | | ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''D'''<sup>1</sup>] |
| + | |} |
| + | |- |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | Differential |
| + | |- |
| + | | Operator |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | d : |
| + | |- |
| + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| + | |- |
| + | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>) |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | d''J'' : |
| + | |- |
| + | | 〈''u'', ''v'', d''u'', d''v''〉 → '''D''' |
| + | |- |
| + | | '''B'''<sup>2</sup> × '''D'''<sup>2</sup> → '''D''' |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | d''J'' : |
| + | |- |
| + | | [''u'', ''v'', d''u'', d''v''] → [d''x''] |
| + | |- |
| + | | ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''D'''<sup>1</sup>] |
| + | |} |
| + | |- |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | Remainder |
| + | |- |
| + | | Operator |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | r : |
| + | |- |
| + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| + | |- |
| + | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>) |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | r''J'' : |
| + | |- |
| + | | 〈''u'', ''v'', d''u'', d''v''〉 → '''D''' |
| + | |- |
| + | | '''B'''<sup>2</sup> × '''D'''<sup>2</sup> → '''D''' |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | r''J'' : |
| + | |- |
| + | | [''u'', ''v'', d''u'', d''v''] → [d''x''] |
| + | |- |
| + | | ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''D'''<sup>1</sup>] |
| + | |} |
| + | |- |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | Radius |
| + | |- |
| + | | Operator |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | <font face=georgia>'''e'''</font> = ‹<math>\epsilon</math>, <math>\eta</math>› : |
| + | |- |
| + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| + | |- |
| + | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → E''X''<sup> •</sup>) |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | |
| + | |- |
| + | | |
| + | |- |
| + | | |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | <font face=georgia>'''e'''</font>''J'' : |
| + | |- |
| + | | [''u'', ''v'', d''u'', d''v''] → [''x'', d''x''] |
| + | |- |
| + | | ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''B''' × '''D'''] |
| + | |} |
| + | |- |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | Secant |
| + | |- |
| + | | Operator |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | <font face=georgia>'''E'''</font> = ‹<math>\epsilon</math>, E› : |
| + | |- |
| + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| + | |- |
| + | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → E''X''<sup> •</sup>) |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | |
| + | |- |
| + | | |
| + | |- |
| + | | |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | <font face=georgia>'''E'''</font>''J'' : |
| + | |- |
| + | | [''u'', ''v'', d''u'', d''v''] → [''x'', d''x''] |
| + | |- |
| + | | ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''B''' × '''D'''] |
| + | |} |
| + | |- |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | Chord |
| + | |- |
| + | | Operator |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | <font face=georgia>'''D'''</font> = ‹<math>\epsilon</math>, D› : |
| + | |- |
| + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| + | |- |
| + | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → E''X''<sup> •</sup>) |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | |
| + | |- |
| + | | |
| + | |- |
| + | | |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | <font face=georgia>'''D'''</font>''J'' : |
| + | |- |
| + | | [''u'', ''v'', d''u'', d''v''] → [''x'', d''x''] |
| + | |- |
| + | | ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''B''' × '''D'''] |
| + | |} |
| + | |- |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | Tangent |
| + | |- |
| + | | Functor |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | <font face=georgia>'''T'''</font> = ‹<math>\epsilon</math>, d› : |
| + | |- |
| + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| + | |- |
| + | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → E''X''<sup> •</sup>) |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | d''J'' : |
| + | |- |
| + | | 〈''u'', ''v'', d''u'', d''v''〉 → '''D''' |
| + | |- |
| + | | '''B'''<sup>2</sup> × '''D'''<sup>2</sup> → '''D''' |
| + | |} |
| + | | |
| + | {| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%" |
| + | | <font face=georgia>'''T'''</font>''J'' : |
| + | |- |
| + | | [''u'', ''v'', d''u'', d''v''] → [''x'', d''x''] |
| + | |- |
| + | | ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''B''' × '''D'''] |
| + | |} |
| + | |}<br> |
| | | |
| ===Formula Display 12=== | | ===Formula Display 12=== |