Algebraic structure
A set with two operations, often called addition and multiplication. The set with the operation of addition forms a commutative group, and with the operation of multiplication it forms a semigroup (many people define a ring so that the set with multiplication is actually a monoid). Addition and multiplication in a ring satisfy the distributive property