EDB — 0X8

[0X8]Prerequisites:[0X0]↺↻,[09T]↺↻. Suppose that \(I\) is a group; then \(X\) is a group (it is the Cartesian product of groups); and multiplication is carried out ”component by component”. Show that the product in \(X\) is a continuous operation, and so for the inversion map. So \((X,d)\) is a topological group.