convergence commutative