In Spanier's Algebraic Topology Chapter 1 Section 4, he says that $Z_f \times I$ has the topology coinduced by the two maps as the following, which I do not understand:
Why $Z_f \times I$ equipped with the product topology has the topology coinduced ?