Construction of a Subbase for the Generalised Cartesian Product

Consider the family of topological spacesThe generalised cartesian product is

Thecoordinate ofinis

Thenis the projection fromto

The subbase ofis defined as the family of sets of the formwhereis open in

Notice thatis the product ofand all spaces