Definition:Product Topology on Finite Product