Universal Property of the Product Topology