I_1 \times I_2:=\{(a,b):a\in I_1 \ \& \ b\in I_2\}