Listed product space Application Object

A Listed_product_space is a Product_space that has each of its factor instances of Maths_space listed in an instantiation of this part of ISO 10303.

NOTE - A Uniform_product_space can be instantiated as a Listed_product_space. In this case, each of the factor instances of Maths_space is referenced separately in a list, even though each is the same.

EXPRESS specification:

*)
ENTITY Listed_product_space
  SUBTYPE OF (Product_space);
  factors : LIST [1,?] OF Maths_space;
END_ENTITY;
(*

Attributes:

factors: The instances of Maths_space that are the factors of the Product_space.