Table of contentsAppendices |
2.2 Value spaceValue spaceA value space is the set of values for a given datatype. Each value in the value space of a datatype is denoted by one or more literals in its lexical space. The value space of a given datatype can be defined in one of the following ways:
value spaces have certain properties. For example, they always have the property of cardinality, some definition of equality and might be ordered, by which individual values within the value space can be compared to one another. The properties of value spaces that are recognized by this specification are defined in [Fundamental facets]. |