Definition:Convergent Product/General Definition