分配法則
　x * (y × z) = (x * y) × (x * z)
を満たす演算 * があるでしょうか。

「演算」・とは
結合的　　(x・y)・z = x・(y・z)
可換　　　x・y = y・x
単位的　　x・e = e・x = x　である単位元eが存在する
連続　　　f(x,y) = x・y　が連続関数である
を満たす算法とします。