A Range_property_definition is an Independent_property_definition that has as its criterion for membership a range of magnitudes of a property.
A Range_property_definition indicates a tolerance.
EXAMPLE - 10 Kg to 10.1 Kg is a Range_property_definition.
The possession of this Range_property_definition by a product design indicates that an individual needs to have a mass between 10 Kg and 10.1 Kg to comply with the design.
EXPRESS specification:
*) ENTITY Range_property_definition SUBTYPE OF (Independent_property_definition); END_ENTITY; (*