Product space Application Object

A Product_space is a Tuple_space such that:

• each member is a finite list of instances of Maths_value of the same length; and
• each Maths_value in the same position in each list is a member of the same Maths_space.

A Product_space is a finite Cartesian product of instances of Maths_space.

EXPRESS specification:

*)
ENTITY Product_space
   ABSTRACT SUPERTYPE OF (ONEOF (
    Uniform_product_space,
    Listed_product_space))
   SUBTYPE OF (Tuple_space);
END_ENTITY;
(*