Rig

A rig is a generalized ring which may lack negatives. That is, a rig consists of a Commutative monoid called addition and a Monoid called multiplication, with the extra conditions #m/def/ring

left-distributivity
right-distributivity
left-annihilation
right-annihilation

where is the additive identity.

#state/develop | #lang/en | #SemBr