| Line 546: |
Line 546: |
| | | | | | |
| | <math>\begin{array}{lllllll} | | <math>\begin{array}{lllllll} |
| − | \text{A} | + | \text{S} & = & |
| − | & = & \{ & | + | \{ & |
| − | (\text{A},
| + | {}^{\backprime\backprime} [ {}^\langle \text{A} {}^\rangle ]_\text{A} {}^{\prime\prime}, |
| − | {}^{\backprime\backprime} \text{A} {}^{\prime\prime}, | + | {}^{\backprime\backprime} [ {}^\langle \text{B} {}^\rangle ]_\text{A} {}^{\prime\prime}, |
| − | {}^{\backprime\backprime} \text{A} {}^{\prime\prime}), | + | {}^{\backprime\backprime} [ {}^\langle \text{i} {}^\rangle ]_\text{A} {}^{\prime\prime}, |
| − | & \ldots, &
| + | {}^{\backprime\backprime} [ {}^\langle \text{u} {}^\rangle ]_\text{A} {}^{\prime\prime}, |
| − | (\text{A},
| |
| − | {}^{\backprime\backprime} \text{i} {}^{\prime\prime}, | |
| − | {}^{\backprime\backprime} \text{i} {}^{\prime\prime}), | |
| | & | | & |
| − | \\ | + | \\[4pt] |
| | & & & | | & & & |
| − | (\text{B},
| + | {}^{\backprime\backprime} [ {}^\langle \text{A} {}^\rangle ]_\text{B} {}^{\prime\prime}, |
| − | {}^{\backprime\backprime} \text{B} {}^{\prime\prime}, | + | {}^{\backprime\backprime} [ {}^\langle \text{B} {}^\rangle ]_\text{B} {}^{\prime\prime}, |
| − | {}^{\backprime\backprime} \text{B} {}^{\prime\prime}), | + | {}^{\backprime\backprime} [ {}^\langle \text{i} {}^\rangle ]_\text{B} {}^{\prime\prime}, |
| − | & \ldots, &
| + | {}^{\backprime\backprime} [ {}^\langle \text{u} {}^\rangle ]_\text{B} {}^{\prime\prime} |
| − | (\text{B},
| |
| − | {}^{\backprime\backprime} \text{u} {}^{\prime\prime}, | |
| − | {}^{\backprime\backprime} \text{u} {}^{\prime\prime}) | |
| | & \} | | & \} |
| | \\[10pt] | | \\[10pt] |
| − | \text{B} | + | \text{I} & = & |
| − | & = & \{ & | + | \{ & |
| − | (\text{A},
| + | {}^{\backprime\backprime} [ {}^\langle \text{A} {}^\rangle ]_\text{A} {}^{\prime\prime}, |
| − | {}^{\backprime\backprime} \text{A} {}^{\prime\prime}, | + | {}^{\backprime\backprime} [ {}^\langle \text{B} {}^\rangle ]_\text{A} {}^{\prime\prime}, |
| − | {}^{\backprime\backprime} \text{A} {}^{\prime\prime}), | + | {}^{\backprime\backprime} [ {}^\langle \text{i} {}^\rangle ]_\text{A} {}^{\prime\prime}, |
| − | & \ldots, &
| + | {}^{\backprime\backprime} [ {}^\langle \text{u} {}^\rangle ]_\text{A} {}^{\prime\prime}, |
| − | (\text{A},
| |
| − | {}^{\backprime\backprime} \text{u} {}^{\prime\prime}, | |
| − | {}^{\backprime\backprime} \text{u} {}^{\prime\prime}), | |
| | & | | & |
| − | \\ | + | \\[4pt] |
| | & & & | | & & & |
| − | (\text{B},
| + | {}^{\backprime\backprime} [ {}^\langle \text{A} {}^\rangle ]_\text{B} {}^{\prime\prime}, |
| − | {}^{\backprime\backprime} \text{B} {}^{\prime\prime}, | + | {}^{\backprime\backprime} [ {}^\langle \text{B} {}^\rangle ]_\text{B} {}^{\prime\prime}, |
| − | {}^{\backprime\backprime} \text{B} {}^{\prime\prime}), | + | {}^{\backprime\backprime} [ {}^\langle \text{i} {}^\rangle ]_\text{B} {}^{\prime\prime}, |
| − | & \ldots, &
| + | {}^{\backprime\backprime} [ {}^\langle \text{u} {}^\rangle ]_\text{B} {}^{\prime\prime} |
| − | (\text{B},
| |
| − | {}^{\backprime\backprime} \text{i} {}^{\prime\prime}, | |
| − | {}^{\backprime\backprime} \text{i} {}^{\prime\prime}) | |
| | & \} | | & \} |
| | \end{array}</math> | | \end{array}</math> |