Una quinta condición define un grupo abeliano: