A Tuple_space is a Maths_space such that each member is a list of instances of Maths_value.
EXPRESS specification:
*) ENTITY Tuple_space SUPERTYPE OF (Product_space) SUBTYPE OF (Maths_space); END_ENTITY; (*