The product of a sequence of Polish spaces is Polish.
A Polish space is a topological space that is separable and completely metrizable. Let be a sequence of Polish spaces. Let with product topology . Then, since each is completely metrizable, so is , by p13 (C). Also, since each is separable, so is , by p3_(A). Hence, is Polish.