Y agregando una novena condición, se define un anillo conmutativo: