Definition:Proper Refinement for Normal Series