Category:Definitions/Locally Uniform Convergence of Product