Suppose the topology on each space is given by a basis . The collection of all sets of the form , where for each , will serve as a basis for the box topology on .

The collection of all sets of the same form where for finitely many indices of alpha and for all the remaining indices, will serve as a basis for the product topology on .

How am I supposed to prove this?