LOCAL tsp : tuple_space := the_zero_tuple_space; END_LOCAL; REPEAT i := m TO n; tsp := assoc_product_space (tsp, factor_space (tspace, i)); END_REPEAT; RETURN (tsp);