Definition of Refinement