To ensure each map f_i:X→M_i is continuous, we endow X with the initial topology induced by the family of functions f_i.