 Product of ideals

The product $IJ$ consists of finite sums of products $xy$ with $x\in I$ and $y\in J$.