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

I haven't been following the thread very closely, but I noticed you were trying to come up with a name for something defined over the naturals. Does this definition fit your structure? http://www.wikipedia.org/wiki/Rig_(algebra) -- Mike Stay staym@clear.net.nz http://www.xaim.com/staym