Line 1,682: |
Line 1,682: |
| & = & | | & = & |
| ^{\backprime\backprime} \, (S_1)_{[1]} \, ^{\prime\prime} | | ^{\backprime\backprime} \, (S_1)_{[1]} \, ^{\prime\prime} |
− | \, \land \ldots \land \, | + | \, \land \, \ldots \, \land \, |
| ^{\backprime\backprime} \, (S_k)_{[k]} \, ^{\prime\prime}. | | ^{\backprime\backprime} \, (S_k)_{[k]} \, ^{\prime\prime}. |
| \end{array}</math> | | \end{array}</math> |
| |} | | |} |
| | | |
− | <pre>
| + | In a similar vein, a strait of the form <math>S_1 \times \ldots \times S_k\!</math> can be expressed in terms of simpler straits, namely, as an intersection of its <math>k\!</math> extracts: |
− | In a similar vein, a strait of the form S_1 x ... x S_k | |
− | can be expressed in terms of simpler straits, namely, | |
− | as an intersection of its k extracts: | |
| | | |
− | S_1 x ... x S_k = S_1_<1> |^| ... |^| S_k_<k>.
| + | {| align="center" cellpadding="8" width="90%" |
| + | | |
| + | <math>\begin{array}{lll} |
| + | S_1 \times \ldots \times S_k & = & (S_1)_{[1]} \, \cap \, \ldots \, \cap \, (S_k)_{[k]}. |
| + | \end{array}</math> |
| + | |} |
| | | |
− | There is a measure of ambiguity that remains in this formulation, | + | There is a measure of ambiguity that remains in this formulation, but it is the best that I can do in the present informal context. |
− | but it is the best that I can do in the present informal context. | |
− | </pre>
| |
| | | |
| ==The Cactus Language : Mechanics== | | ==The Cactus Language : Mechanics== |