Definition:Convergence of Product