Line 6,351: |
Line 6,351: |
| <font face=georgia>'''W'''</font> | | <font face=georgia>'''W'''</font> |
| | | |
− | <font face="courier new">
| |
| {| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%" | | {| 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''' | | |+ '''Table 54. Cast of Characters: Expansive Subtypes of Objects and Operators''' |
Line 6,380: |
Line 6,379: |
| | ['''B'''<sup>1</sup> × '''D'''<sup>1</sup>] | | | ['''B'''<sup>1</sup> × '''D'''<sup>1</sup>] |
| |- | | |- |
| + | | ''J'' |
| + | | ''J'' : ''U'' → '''B''' |
| + | | Proposition |
| + | | ('''B'''<sup>2</sup> → '''B''') ∈ ['''B'''<sup>2</sup>] |
| + | |- |
| + | | ''J'' |
| + | | ''J'' : ''U''<sup> •</sup> → ''X''<sup> •</sup> |
| + | | Transformation, or Mapping |
| + | | ['''B'''<sup>2</sup>] → ['''B'''<sup>1</sup>] |
| + | |- |
| + | | |
| + | | |
| + | | |
| | | | | |
| |- | | |- |
Line 6,432: |
Line 6,444: |
| ('''B'''<sup>''n''</sup> +→ '''B''')<br> | | ('''B'''<sup>''n''</sup> +→ '''B''')<br> |
| ['''B'''<sup>''n''</sup>] | | ['''B'''<sup>''n''</sup>] |
− | |}</font><br> | + | |}<br> |
| | | |
| <pre> | | <pre> |
− | | X% | = [x] | Target Universe | [B^1]
| |
− |
| |
− | -------------o
| |
− |
| |
− | | EU% | = [u, v, du, dv] | Extended Source Universe | [B^2 x D^2]
| |
− |
| |
− | -------------o
| |
− |
| |
− | | EX% | = [x, dx] | Extended Target Universe | [B^1 x D^1]
| |
− |
| |
− | -------------o
| |
− |
| |
− | | J | J : U -> B | Proposition | (B^2 -> B) c [B^2]
| |
− |
| |
− | -------------o
| |
− |
| |
− | | J | J : U% -> X% | Transformation, or Mapping | [B^2] -> [B^1]
| |
− |
| |
− | -------------o
| |
− |
| |
| | W | W : | Operator | | | W | W : | Operator |
| | | |