Definition:Natural Basis of Product Topology