Changes

MyWikiBiz, Author Your Legacy — Thursday May 30, 2024
Jump to navigationJump to search

User:Jon Awbrey/ATLAS (view source)

Revision as of 03:54, 30 June 2007

472 bytes removed ,  03:54, 30 June 2007
→‎Table 58. Cast of Characters: Expansive Subtypes of Objects and Operators
Line 8,069: Line 8,069:  
| valign="top" |
 
| valign="top" |
 
{| 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%"
−
| W
+
|  
 +
|-
 +
| ''f''
 +
|-
 +
| ''g''
 
|}
 
|}
 
| valign="top" |
 
| valign="top" |
 
{| 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%"
−
| W :
+
| ''f'', ''g'' : ''U'' → '''B'''
−
|-
  −
| ''U''<sup>&nbsp;&bull;</sup>&nbsp;&rarr;&nbsp;E''U''<sup>&nbsp;&bull;</sup>&nbsp;,
  −
|-
  −
| ''X''<sup>&nbsp;&bull;</sup>&nbsp;&rarr;&nbsp;E''X''<sup>&nbsp;&bull;</sup>&nbsp;,
  −
|-
  −
| (''U''<sup>&nbsp;&bull;</sup>&nbsp;&rarr;&nbsp;''X''<sup>&nbsp;&bull;</sup>)
  −
|-
  −
| &rarr;
  −
|-
  −
| (E''U''<sup>&nbsp;&bull;</sup>&nbsp;&rarr;&nbsp;E''X''<sup>&nbsp;&bull;</sup>)&nbsp;,
   
|-
 
|-
−
| for each W in the set:
+
| ''f'' : ''U'' &rarr; [''x''] &sube; ''X''<sup>&nbsp;&bull;</sup>
 
|-
 
|-
−
| {<math>\epsilon</math>,&nbsp;<math>\eta</math>,&nbsp;E,&nbsp;D,&nbsp;d}
+
| ''g'' : ''U'' &rarr; [''y''] &sube; ''X''<sup>&nbsp;&bull;</sup>
 
|}
 
|}
 
| valign="top" |
 
| valign="top" |
 
{| 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%"
−
| Operator
+
| Proposition
 
|}
 
|}
 
| valign="top" |
 
| valign="top" |
 
{| 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"
−
| &nbsp;
+
| '''B'''<sup>''n''</sup> &rarr; '''B'''
−
|-
  −
| ['''B'''<sup>2</sup>] &rarr; ['''B'''<sup>2</sup> &times; '''D'''<sup>2</sup>]&nbsp;,
  −
|-
  −
| ['''B'''<sup>1</sup>] &rarr; ['''B'''<sup>1</sup> &times; '''D'''<sup>1</sup>]&nbsp;,
  −
|-
  −
| (['''B'''<sup>2</sup>] &rarr; ['''B'''<sup>1</sup>])
  −
|-
  −
| &rarr;
  −
|-
  −
| (['''B'''<sup>2</sup> &times; '''D'''<sup>2</sup>] &rarr; ['''B'''<sup>1</sup> &times; '''D'''<sup>1</sup>])
   
|-
 
|-
−
| &nbsp;
+
| &sube; ('''B'''<sub>''n''</sub>, '''B'''<sub>''n''</sub> &rarr; '''B''')
 
|-
 
|-
−
| &nbsp;
+
| = ('''B'''<sub>''n''</sub> +&rarr; '''B''') = ['''B'''<sub>''n''</sub>]
 
|}
 
|}
 
|-
 
|-
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/49201"

Navigation menu