[Bug 7211] define "positive integer" and use it consistently, instead of "non-negative integer greater than zero"

http://www.w3.org/Bugs/Public/show_bug.cgi?id=7211


Ian 'Hixie' Hickson <ian@hixie.ch> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |WONTFIX




--- Comment #2 from Ian 'Hixie' Hickson <ian@hixie.ch>  2009-09-09 06:17:51 ---
There is no term "non-negative integer greater than zero". There's just the
term "non-negative integer", and sometimes something has to be one of those,
and simultaneously greater than zero. I don't really see much point in
introducing yet another term just for that case.

I don't want to use the word "positive" for the term because it's not
immediately clear if that includes or excludes zero.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Wednesday, 9 September 2009 06:18:08 UTC