Rng

A rng is a set $R$ equipped with two binary operations $+ : R \times R \to R$ and $\cdot : R \times \to R$ such that:

• $(R, +)$ is an abelian group.
• $(R, \cdot)$ is a semigroup.
• Multiplication is distributive.