Remark

The product construction is associative in the sense that

G₁ × G₂ × G₃ = (G₁ × G₂) × G₃ = G₁ × (G₂ × G₃).