群子集的乘法

$$ST=\{st:s\in S\wedge t\in T\}$$

满足结合律