refinement of a partition