Product feature space for product Application Object

A Product feature_space_for_product is a Fusion that is between a Product_specification_or_set and a Product_feature_space and that indicates the Product_specification_or_set is the whole membership of the Product_feature_space viewed as a single item.

EXPRESS specification:

*)
ENTITY Product_feature_space_for_product
  SUBTYPE OF (Fusion);
  class  :  Product_feature_space;
  whole  :  Product_specification_or_set;
END_ENTITY;
(*

Attribute definitions:

class : the Product_feature_space that has a membership comprising the whole.

whole : the Product_specification_or_set that can be decomposed into the members of the class.