Stylus Studio XML Editor

Table of contents

Appendices

2.2 Value space

Value space

A 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:

  • defined axiomatically from fundamental notions (intensional definition) [see primitive]

  • enumerated outright (extensional definition) [see enumeration]

  • defined by restricting the value space of an already defined datatype to a particular subset with a given set of properties [see derived]

  • defined as a combination of values from one or more already defined value space(s) by a specific construction procedure [see list and union]

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].