rig
A rig is a set together with two binary operations and , such that both and are monoids, where distributes over . That is if then . The natural numbers
with ordinary addition
and multiplication is a rig.
A rig is a ring if is a group. The integers with ordinary addition and multiplication is a ring.