Para definir un anillo, es necesario agregar tres condiciones más que hablan acerca de la segunda operación binaria: