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