Definition:Product Topology on Two Factor Spaces