En términos más específicos, un anillo es una terna ("A", +, •), donde "A" es un conjunto no vacío y + y • son operaciones binarias internas en "A", en donde ("A", +) es un grupo abeliano y • es una operación asociativa y distributiva bilátera respecto de +.