Changes

& = &

& = &

^{\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>

|}

|}

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

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.

==The Cactus Language : Mechanics==

==The Cactus Language : Mechanics==