Definition:Natural Sub-Basis of Product Topology