UML25 — Unlimited Natural

'unlimited' is called 'infinity' in UML 2.4, 'unlimited' in OCL, 'unbounded' in Section 21.The comment that 'unlimited' is not 'infinity' does not make any sense to me. If it is unlimited then any value from 0 all the way to infinity is permissible, so the upper bound is indeed infinity.

Suggest the mathematically consistent 'infinity' and remove the note.

Agreed that this should be made consistent. Notwithstanding the use of “unbounded” in Section 21, the
current specification text generally uses the term “unlimited” for “*”, which is also consistent with the name
of the type UnlimitedNatural. The reason to distinguish this from “infinity” is that “*” is only used to
represent an “unlimited range”, never as a value resulting from an infinite computation (in the sense that,
say, +/- infinity are values in certain floating point computation systems).
This resolution also resolves issue 18442. The proposed resolution to 17798 already removes references to
“infinite” and uses the term “unlimited” in relation to the discussion of the upper bound of a multiplicity in
Subclause 7.5.3.