| Line 1,738: |
Line 1,738: |
| | \\ | | \\ |
| | {}^{\langle} \text{B} {}^{\rangle} | | {}^{\langle} \text{B} {}^{\rangle} |
| | + | \end{matrix}</math> |
| | + | |- |
| | + | | valign="bottom" width="33%" | |
| | + | <math>\begin{matrix} |
| | + | (( & {}^{\langle} \text{A} {}^{\rangle} & , & \text{A} & ), & \text{A} & ) |
| | + | \\ |
| | + | (( & {}^{\langle} \text{A} {}^{\rangle} & , & \text{B} & ), & \text{A} & ) |
| | + | \\ |
| | + | (( & {}^{\langle} \text{B} {}^{\rangle} & , & \text{A} & ), & \text{B} & ) |
| | + | \\ |
| | + | (( & {}^{\langle} \text{B} {}^{\rangle} & , & \text{B} & ), & \text{B} & ) |
| | + | \\ |
| | + | (( & {}^{\langle} \text{i} {}^{\rangle} & , & \text{A} & ), & \text{A} & ) |
| | + | \\ |
| | + | (( & {}^{\langle} \text{i} {}^{\rangle} & , & \text{B} & ), & \text{B} & ) |
| | + | \\ |
| | + | (( & {}^{\langle} \text{u} {}^{\rangle} & , & \text{A} & ), & \text{B} & ) |
| | + | \\ |
| | + | (( & {}^{\langle} \text{u} {}^{\rangle} & , & \text{B} & ), & \text{A} & ) |
| | + | \end{matrix}</math> |
| | + | | valign="bottom" width="33%" | |
| | + | <math>\begin{matrix} |
| | + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| | + | \\ |
| | + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| | + | \\ |
| | + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| | + | \\ |
| | + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| | + | \\ |
| | + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| | + | \\ |
| | + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| | + | \\ |
| | + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| | + | \\ |
| | + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| | + | \end{matrix}</math> |
| | + | | valign="bottom" width="33%" | |
| | + | <math>\begin{matrix} |
| | + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| | + | \\ |
| | + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| | + | \\ |
| | + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| | + | \\ |
| | + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| | + | \\ |
| | + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| | + | \\ |
| | + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| | + | \\ |
| | + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| | + | \\ |
| | + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| | \end{matrix}</math> | | \end{matrix}</math> |
| | |} | | |} |
| | + | |
| | + | |
| | + | <pre> |
| | + | ((<A>, A>, A) <De> <De> |
| | + | ((<A>, B>, A) <De> <De> |
| | + | ((<B>, A>, B) <De> <De> |
| | + | ((<B>, B>, B) <De> <De> |
| | + | ((<i>, A>, A) <De> <De> |
| | + | ((<i>, B>, B) <De> <De> |
| | + | ((<u>, A>, B) <De> <De> |
| | + | ((<u>, B>, A) <De> <De> |
| | + | </pre> |