Re: [math-fun] Is Z^{>=} a rig?

=Mike Stay <staym@clear.net.nz> Does this definition fit your structure? http://www.wikipedia.org/wiki/Rig_(algebra)

Yes it does, so "rig" it is I guess, thank you! (The next closest contender was "semiring", but that needn't have identities). Thanks!