Move the basis section up in the file. Characterize the basis of a product topology in terms of bases for the constituent spaces.