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