It should be
Let S be a subbasis for the product topology you mentioned. Then,
is open in .
Since the all finite intersection of elements of S forms a basis for (X, T),
is a basic open set for a topology T. If we denote a basic open set for a product topology T using a product form,
, where for in and otherwise.