Let and be topological spaces. A basis element of the product topology on has the form , where be open sets in the subspace topology on , and , respectively.

Since and , we have and , where be open sets in and .

Since , we have a basis element of a topology on as a subspace of the product , which is , where be open sets in and .

The converse is similar to the above.