Line 4,264: |
Line 4,264: |
| } :R11a | | } :R11a |
| :: | | :: |
− | F2.3b. {DerR} : SxI �> B | + | F2.3b. {DerR} : SxI -> B |
| : | | : |
| {DerR}(x, y) = [ Conj(o C O) | | {DerR}(x, y) = [ Conj(o C O) |
Line 4,326: |
Line 4,326: |
| |- style="height:100px" | | |- style="height:100px" |
| | | | | |
− | | valign="top" | <math>\operatorname{F2.2a.}</math> | + | | valign="top" | <math>\operatorname{F2.3a.}</math> |
| | valign="top" | | | | valign="top" | |
| <math>\begin{array}{cccl} | | <math>\begin{array}{cccl} |
Line 4,339: |
Line 4,339: |
| & & \} & \\ | | & & \} & \\ |
| \end{array}</math> | | \end{array}</math> |
− | | style="border-left:1px solid black; text-align:center" | <math>\operatorname{F2.2a~:~R11a}</math> | + | | style="border-left:1px solid black; text-align:center" | <math>\operatorname{F2.3a~:~R11a}</math> |
| |- style="height:20px" | | |- style="height:20px" |
| | colspan="3" | | | | colspan="3" | |
Line 4,345: |
Line 4,345: |
| |- style="height:100px" | | |- style="height:100px" |
| | | | | |
− | | valign="top" | <math>\operatorname{F2.2b.}</math> | + | | valign="top" | <math>\operatorname{F2.3b.}</math> |
| | valign="top" | | | | valign="top" | |
| <math>\begin{array}{ccccl} | | <math>\begin{array}{ccccl} |
Line 4,357: |
Line 4,357: |
| & & \downharpoonright & & \\ | | & & \downharpoonright & & \\ |
| \end{array}</math> | | \end{array}</math> |
− | | style="border-left:1px solid black; text-align:center" | | + | | style="border-left:1px solid black; text-align:center" | <math>\operatorname{F2.3b~:~R11d}</math> |
− | <math>\operatorname{F2.2b~:~R11b}</math> | |
| |- style="height:20px" | | |- style="height:20px" |
| | colspan="3" | | | | colspan="3" | |
Line 4,364: |
Line 4,363: |
| |- style="height:100px" | | |- style="height:100px" |
| | | | | |
− | | valign="top" | <math>\operatorname{F2.2c.}</math> | + | | valign="top" | <math>\operatorname{F2.3c.}</math> |
| | valign="top" | | | | valign="top" | |
− | <math>\begin{array}{cccl} | + | <math>\begin{array}{ccccl} |
− | \upharpoonleft \operatorname{Der}^L \upharpoonright | + | \upharpoonleft \operatorname{Der}^L \upharpoonright (x, y) |
− | & = & \{ & (x, y, z) \in S \times I \times \underline\mathbb{B} ~:~ z = \\ | + | & = & \underset{o \in O}{\operatorname{Conj}} \\ |
− | & & & \begin{array}{cccl} | + | & & & \begin{array}{ccl} |
− | \downharpoonleft & \underset{o \in O}{\operatorname{Conj}} \\
| + | \downharpoonleft & ( & \upharpoonleft \operatorname{Den}^L x \upharpoonright (o) \\ |
− | & & ( & \upharpoonleft \operatorname{Den}^L x \upharpoonright (o) \\
| + | & = & \upharpoonleft \operatorname{Den}^L y \upharpoonright (o) \\ |
− | & & = & \upharpoonleft \operatorname{Den}^L y \upharpoonright (o) \\
| + | & ) & \\ |
− | & & ) & \\
| + | \downharpoonright & & \\ |
− | \downharpoonright & & \\
| + | \end{array} \\ |
− | \end{array} \\
| + | & & & \\ |
− | & & \} & \\ | |
| \end{array}</math> | | \end{array}</math> |
− | | style="border-left:1px solid black; text-align:center" | | + | | style="border-left:1px solid black; text-align:center" | <math>\operatorname{F2.3c~:~Log}</math></p> |
− | <math>\operatorname{F2.2c~:~R11c}</math></p> | |
| |- style="height:20px" | | |- style="height:20px" |
| | colspan="3" | | | | colspan="3" | |
Line 4,385: |
Line 4,382: |
| |- style="height:100px" | | |- style="height:100px" |
| | | | | |
− | | valign="top" | <math>\operatorname{F2.2d.}</math> | + | | valign="top" | <math>\operatorname{F2.3d.}</math> |
| | valign="top" | | | | valign="top" | |
| <math>\begin{array}{cccl} | | <math>\begin{array}{cccl} |
Line 4,399: |
Line 4,396: |
| & & \} & \\ | | & & \} & \\ |
| \end{array}</math> | | \end{array}</math> |
− | | style="border-left:1px solid black; text-align:center" | | + | | style="border-left:1px solid black; text-align:center" | <math>\operatorname{F2.3d~:~Def}</math> |
− | <math>\operatorname{F2.2d~:~Log}</math> | |
| |- style="height:20px" | | |- style="height:20px" |
| | colspan="3" | | | | colspan="3" | |
Line 4,406: |
Line 4,402: |
| |- style="height:100px" | | |- style="height:100px" |
| | | | | |
− | | valign="top" | <math>\operatorname{F2.2e.}</math> | + | | valign="top" | <math>\operatorname{F2.3e.}</math> |
| | valign="top" | | | | valign="top" | |
| <math>\begin{array}{cccl} | | <math>\begin{array}{cccl} |
Line 4,420: |
Line 4,416: |
| \end{array}</math> | | \end{array}</math> |
| | style="border-left:1px solid black; text-align:center" | | | | style="border-left:1px solid black; text-align:center" | |
− | <math>\operatorname{F2.2e~:~Log}</math> | + | <p><math>\operatorname{F2.3e~:~Log}</math></p> |
| + | <p><math>\operatorname{F2.3e~:~D10b}</math></p> |
| |- style="height:20px" | | |- style="height:20px" |
| | colspan="3" | | | | colspan="3" | |
Line 4,439: |
Line 4,436: |
| & & \} & \\ | | & & \} & \\ |
| \end{array}</math> | | \end{array}</math> |
− | | style="border-left:1px solid black; text-align:center" | | + | | style="border-left:1px solid black; text-align:center" | <math>\operatorname{F2.3f~:~D10a}</math> |
− | <math>\operatorname{F2.2f~:~$~}</math> | |
| |} | | |} |
| |} | | |} |
| | | |
| <br> | | <br> |