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>