space_partition: extension of class interface.
space_partition: new method final_subspace() to find subset mappings
made by an operator.