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>] |
| |} | | |} |
| |- | | |- |