Product of ideals (source code)

= Product of ideals
{title2=$IJ$}

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