Ring. Definition.

Ring

An abelian group $(R,+)$ when endowed with a second binary operation $\cdot$ is said to form a ring $(R,+,\cdot )$ if the second operation:

1. [is what?]
2. [has what?]
3. distributes with respect to the preexisting group operation