12,089
edits
Changes
→Table 55. Synopsis of Terminology: Restrictive and Alternative Subtypes: copy model table
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 54. Cast of Characters: Expansive Subtypes of Objects and Operators'''
|- style="background:paleturquoise"
! Item
! Notation
! Description
! Type
|-
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| W
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| W :
|-
| ''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>) ,
|-
| for each W in the set:
|-
| {<math>\epsilon</math>, <math>\eta</math>, E, D, d}
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Operator
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100"
|
|-
| ['''B'''<sup>2</sup>] → ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] ,
|-
| ['''B'''<sup>1</sup>] → ['''B'''<sup>1</sup> × '''D'''<sup>1</sup>] ,
|-
| (['''B'''<sup>2</sup>] → ['''B'''<sup>1</sup>])
|-
| →
|-
| (['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''B'''<sup>1</sup> × '''D'''<sup>1</sup>])
|-
|
|-
|
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <math>\epsilon</math>
|-
| <math>\eta</math>
|-
| E
|-
| D
|-
| d
|}
| valign="top" |
| colspan="2" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:60%"
| Tacit Extension Operator || <math>\epsilon</math>
|-
| Trope Extension Operator || <math>\eta</math>
|-
| Enlargement Operator || E
|-
| Difference Operator || D
|-
| Differential Operator || d
|}
|-
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''W'''</font>
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''W'''</font> :
|-
| ''U''<sup> •</sup> → <font face=georgia>'''T'''</font>''U''<sup> •</sup> = E''U''<sup> •</sup> ,
|-
| ''X''<sup> •</sup> → <font face=georgia>'''T'''</font>''X''<sup> •</sup> = E''X''<sup> •</sup> ,
|-
| (''U''<sup> •</sup> → ''X''<sup> •</sup>)
|-
| →
|-
| (<font face=georgia>'''T'''</font>''U''<sup> •</sup> → <font face=georgia>'''T'''</font>''X''<sup> •</sup>) ,
|-
| for each <font face=georgia>'''W'''</font> in the set:
|-
| {<font face=georgia>'''e'''</font>, <font face=georgia>'''E'''</font>, <font face=georgia>'''D'''</font>, <font face=georgia>'''T'''</font>}
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Operator
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100"
|
|-
| ['''B'''<sup>2</sup>] → ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] ,
|-
| ['''B'''<sup>1</sup>] → ['''B'''<sup>1</sup> × '''D'''<sup>1</sup>] ,
|-
| (['''B'''<sup>2</sup>] → ['''B'''<sup>1</sup>])
|-
| →
|-
| (['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''B'''<sup>1</sup> × '''D'''<sup>1</sup>])
|-
|
|-
|
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''e'''</font>
|-
| <font face=georgia>'''E'''</font>
|-
| <font face=georgia>'''D'''</font>
|-
| <font face=georgia>'''T'''</font>
|}
| valign="top" |
| colspan="2" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:60%"
| Radius Operator || <font face=georgia>'''e'''</font> = ‹<math>\epsilon</math>, <math>\eta</math>›
|-
| Secant Operator || <font face=georgia>'''E'''</font> = ‹<math>\epsilon</math>, E›
|-
| Chord Operator || <font face=georgia>'''D'''</font> = ‹<math>\epsilon</math>, D›
|-
| Tangent Functor || <font face=georgia>'''T'''</font> = ‹<math>\epsilon</math>, d›
|}
|}<br>
===Figure 56-a1. Radius Map of the Conjunction J = uv===
===Figure 56-a1. Radius Map of the Conjunction J = uv===