A quantity-space is a set that has the property that a distance function is defined for any two elements in the set. In addition, the range of the distance function is a subclass of the class of scalar quantities.
This theory defines the class of quantity-space, and the associated relations POINT-IN, DISTANCE. It is agnostic about the semantics of the points -- they needn't be spatial things or of any particular dimensionality.
The following constants were used from included theories:
The following constants were used from theories not included:
All constants that were mentioned were defined.