Basis Characterization of the Product Topology