Remark
The ideal
I
+
J
can also be described as the ideal generated by
I
J
.
J.
J.