A (unital) ring is a set $R$ together with two binary operations $+$ and $\cdot$ such that
- $R$ is an abelian group under $+$;
- $R$ is a monoid under $\cdot$;
- $\cdot$ distributes over $+$: $a\cdot (b+c)=(a\cdot b) + (a\cdot c)$ and $(b+c)\cdot a = (b\cdot a) + (c\cdot a)$.
Wikidata ID: Q161172