\[I*J=\{x*y\,|\,x\in I,y\in J\},\]