A State_space is an Activity_or_state_space that consists of a set of instances of State within an Activity.
NOTE - A continuous view of an Activity is a State_space. Each member of the space is an infinitesimal part of the whole.
NOTE - A State_space is analogous to a Product_point_space which contains points within a continuous 3D volume view of a Product_specification_or_set.
EXPRESS specification:
*) ENTITY State_space SUBTYPE OF (Activity_or_state_space); END_ENTITY; (*