Definition:Tychonoff Product Topology