Definition:Convergent Product