Talk:Cartesian Product is not Associative

I quote from the proof:
 * "So for $A \times \left({B \times C}\right) = \left({A \times B}\right)\times C$ we would need to have that $a = \left({a, b}\right)$ and $\left({b, c}\right) = c$."

However, this is too strict; $A$ 'merely' needs to satisfy $a\in A, b\in B\implies (a,b)\in A$ (and something similar for $C$). There are probably pathological examples satisfying this condition, which aren't degenerate. It would be interesting to construct such examples; I however have no time momentarily, and will add this to my to-be-formed PW to-do list in my namespace (it appears even as though the sets $A$ and $C$ satisfying this can be classified... most interesting). For now, I think we'd best weaken the statement by adding something like in general. --Lord_Farin 16:35, 18 November 2011 (CST)