SCHEMA Maths_space_mim;
USE FROM
Maths_value_mim;
-- ISO/TS 10303-1092
USE FROM
mathematical_functions_schema -- ISO 10303-50
(elementary_space,
finite_integer_interval,
finite_real_interval,
finite_space,
integer_interval_from_min,
integer_interval_to_max,
listed_product_space,
maths_space,
product_space,
real_interval_from_min,
real_interval_to_max,
tuple_space,
uniform_product_space);
END_SCHEMA; -- Maths_space_mim