MyWikiBiz, Author Your Legacy — Thursday November 06, 2025
Jump to navigationJump to search
472 bytes removed
, 03:54, 30 June 2007
| 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> •</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: | + | | ''f'' : ''U'' → [''x''] ⊆ ''X''<sup> •</sup> |
| | |- | | |- |
| − | | {<math>\epsilon</math>, <math>\eta</math>, E, D, d} | + | | ''g'' : ''U'' → [''y''] ⊆ ''X''<sup> •</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" |
| − | | | + | | '''B'''<sup>''n''</sup> → '''B''' |
| − | |-
| |
| − | | ['''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>])
| |
| | |- | | |- |
| − | | | + | | ⊆ ('''B'''<sub>''n''</sub>, '''B'''<sub>''n''</sub> → '''B''') |
| | |- | | |- |
| − | | | + | | = ('''B'''<sub>''n''</sub> +→ '''B''') = ['''B'''<sub>''n''</sub>] |
| | |} | | |} |
| | |- | | |- |