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.