[ForOldHack]

Number theory includes zero as the identity element for addition, much as 1 is the identity element for multiplication.

I am totally assuming you knew this already.

[mathgeek]

For the sake of making an easy transition to the monoid, yes. Personally a fan.