Line 440: |
Line 440: |
| & & \} & \\ | | & & \} & \\ |
| \end{align}</math> | | \end{align}</math> |
| + | |
| + | <br> |
| + | |
| + | <math>\begin{array}{lllll} |
| + | \operatorname{F2.2a.} & \operatorname{Der}^L & = & \{ & (x, y) \in S \times I ~: \\ |
| + | & & & & \underset{o \in O}{\operatorname{Conj}}~ (\upharpoonleft \operatorname{Den}(L, x) \upharpoonright (o) ~=~ \upharpoonleft \operatorname{Den}(L, y) \upharpoonright (o)) \\ |
| + | & & & \} & \\ |
| + | \end{array}</math> |
| | | |
| <br> | | <br> |