Universal Property of Product of Topological Spaces