Infinity

[Michael Kay <mike@saxonica.com>]

A question of no practical relevance for those on the list who are more mathematically inclined than I am.

From XSD 1.1 part 2 §3.3.13

(a) The ·value space· of integer is the infinite set {...,-2,-1,0,1,2,...}.

(b) integer has a lexical representation consisting of a finite-length sequence of decimal digits (#x30-#x39) with an optional leading sign.

So the value space is infinite, but the lexical space is finite. Or is it? Perhaps the set of finite-length strings is itself infinite?

Does every integer in this infinite set have a finite-length lexical representation? Or are there integers in the value space that have no representation in the lexical space?

Whenever I read this, I think, why is that adjective "finite-length" there? Would I have to change my software if it were removed?

Michael Kay

Saxonica