Ring
- Algebraic structure ⟨S, ∗1, ∗2⟩
- A set S
- Two associative binary operations ∗1 and ∗2
- ⟨S, ∗1⟩ is a commutative (Abelian) group with identity element e1
- ⟨S, ∗2⟩ is a monoid with identity element e2
- The operation ∗2 is distributive over the operation ∗1